Rodin Methodology for Developing Fault Tolerant Systems Elena Troubitsyna Ãbo Akademi University, Turku, Finland Motivation Formal methods and fault tolerance complement…