CS 9622 - Fall 2017 : Coping with Defective Software in Medical Devices (paper)