CS 9622 - Fall 2017 : Analysing the Safety of a Software Development Process (paper)