A fault-masking and transient-recovery model for digital systems (1993)

by John Rushby
Venue:Formal Techniques in Real-Time and Fault-Tolerant Systems