Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos. Specification and Analysis of Fault Behaviours Using Graph Grammars. In John L. Pfaltz, Manfred Nagl, Boris Böhlen, editors, Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers. Volume 3062 of Lecture Notes in Computer Science, pages 120-133, Springer, 2003. [doi]