The User of Self Checks and Voting in Software Error Detection: an Empirical Study (1990)

by N G Leveson, S S Cha, J C Knight, T J Shimeall
Venue:IEEE Transactions on Software Engineering