CS 9622 - Fall 2017 : How safety requirements figure into software systems