E. Cunha, M. Custodio, H. Rocha, and R. Barreto. 2011.
 Formal Verification of UML Sequence Diagrams in the Embedded Systems Context. In <em>Anais do I Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, novembro 07, 2011, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 39-45.