CS 9622 - Fall 2017 : Fail-safe testing of safety-critical systems: a case study and efficiency analysis (paper)