Elena Troubitsyna A Formal Approach to Fault Tolerance in Parallel Systems. 510-515 2004 conf/serp/2004-2 Software Engineering Research and Practice db/conf/serp/serp2004-2.html#Troubitsyna04