Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems. - Heng Kuang; Jamal Bentahar; Olga Ormandjieva; Nassir Shafieidizaji; Stan Klasa (SoMeT, 2010)