CS 9622 - Fall 2017 : An Approach to Designing Safe Embedded Software (paper)