E. Cunha, M. Custodio, H. Rocha, and R. Barreto. 2011.
 Formal Verification of UML Sequence Diagrams in the Embedded Systems Context. In <em>Proceedings of the 1st Brazilian Symposium on Computing Systems Engineering</em>, November 07, 2011, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 39-45.