Automating the addition of fault-tolerance (2000)

by S Kulkarni, A Arora
Venue:In International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'00