Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook. Formal Development of Mechanisms for Tolerating Transient Faults. In Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Volume 4157 of Lecture Notes in Computer Science, pages 189-209, Springer, 2006. [doi]