Reasoning about the reliability of diverse two-channel systems in which one channel is" possibly perfect (0)

by Bev Littlewood, John Rushby
Venue:IEEE Transactions on Software Engineering