Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn. Design and Verification of Fault-Tolerant Components. In Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Methods, Models and Tools for Fault Tolerance. Volume 5454 of Lecture Notes in Computer Science, pages 57-84, Springer, 2009. [doi]
Abstract is missing.