Elisabeth Ball, Michael Butler. Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction. 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 104-129, Springer, 2009. [doi]
Abstract is missing.