An empirical comparison of software fault tolerance and fault elimination (1991)

by T J Shimeall, N G Leveson
Venue:IEEE Trans on Software Engineering