A unified fault-tolerance protocol (2004)

by Paul Miner, Alfons Geser, Lee Pike, Jeffery Maddalon
Venue:In Yassine Lakhnech and Sergio Yovine, editors, Formal Techniques, Modeling and Analysis of Timed and Fault-Tolerant Systems (FORMATS-FTRTFT), volume 3253 of Lecture Notes in Computer Science