Herbert Hecht Myron Hecht Quality Assurance and Testing for Safety Systems. 191-200 1997 4 Ann. Software Eng. db/journals/ansoft/ansoft4.html#HechtH97