Fail-Safe Testing of Safety-Critical Systems | IEEE Conference Publication | IEEE Xplore