Michael Fisher, Boris Konev, Alexei Lisitsa. Temporal Verification of Fault-Tolerant Protocols. 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 44-56, Springer, 2009. [doi]
Abstract is missing.