On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems. - Fernando Luís Dotti; Osmar Marchi dos Santos; Eduardo T. Rödel (LADC, 2003)