I-Ling Yen Raymond A. Paul Victor L. Winter John M. Covan Larry J. Dalton Leon Alkalai Ann T. Tai Rick Harper Barry Flahive Wei-Tek Tsai Ramin Mojdehbakhsh Sanjai Rayadurgam Kinji Mori Michael R. Lowry Key Applications for High-Assurance Systems. 35-45 1998 31 IEEE Computer 4 db/journals/computer/computer31.html#YenPWCDATHFTMRML98 http://doi.ieeecomputersociety.org/10.1109/2.666841