CS 9622 - Fall 2017 : Requirements engineering for safety-critical systems (paper)