Safety Verification in Murphy Using Fault Tree Analysis. - Stephen S. Cha; Nancy G. Leveson; Timothy J. Shimeall (ICSE, 1988)

The Use of Self Checks and Voting in Software Error Detection: An Empirical Study. - Nancy G. Leveson; Stephen S. Cha; John C. Knight; Timothy J. Shimeall (IEEE Trans. Software Eng., 1990)

Safety Verification of Ada Programs Using Software Fault Trees. - Nancy G. Leveson; Stephen S. Cha; Timothy J. Shimeall (IEEE Softw., 1991)

Research and applications: Patient-generated secure messages and eVisits on a patient portal: are patients at risk? - Frederick North; Sarah J. Crane; Robert J. Stroebel; Stephen S. Cha; Eric S. Edell; Sidna M. Tulledge-Scheitel (J. Am. Medical Informatics Assoc., 2013)