1. The four-universe information system model for the study of fault tolerance;Avizienis,1982
2. Transparent redundancy in the time-triggered architecture;Bauer,2000
3. The Correctness Problem in Computer Science;Boyer,1981
4. Impact of deep submicron technology on the dependability of VLSI circuits;Constantinescu,2002
5. Enforcing perfect failure detection;Fetzer,2001