Predictable Safety in the Control of High Consequence Systems. - John M. Covan; J. Arlin Cooper (HASE, 1998)

Key Applications for High-Assurance Systems. - I-Ling Yen; Raymond A. Paul; Victor L. Winter; John M. Covan; Larry J. Dalton; Leon Alkalai; Ann T. Tai; Rick Harper 001; Barry Flahive; Wei-Tek Tsai; Ramin Mojdehbakhsh; Sanjai Rayadurgam; et al. (Computer, 1998)

Why Modern Systems Should Minimize the Use of Safety Critical Software. - John M. Covan (HASE, 1999)