S. Potyra Volkmar Sieh Mario Dal Cin Evaluating fault-tolerant system designs using FAUmachine. 9 2007 EFTS http://doi.acm.org/10.1145/1316550.1316559 conf/sigsoft/2007efts db/conf/sigsoft/efts2007.html#PotyraSC07