Computer-aided design validation of safety-critical software systems. - Jin-Ki Hong; Rex E. Gantenbein; Sung Y. Shin (ACIS Int. J. Comput. Inf. Sci., 2000)