Cunha, E., 		Custodio, M., 		Rocha, H., & 		Barreto, R.
(2011).
Formal Verification of UML Sequence Diagrams in the Embedded Systems Context.
In <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 39-45). Porto Alegre: SBC.