CS 9622 - Fall 2017 : Engineering safety-related requirements for software-intensive systems (paper)