Cunha, E., 		Custodio, M., 		Rocha, H., E 		Barreto, R..
" Formal Verification of UML Sequence Diagrams in the Embedded Systems Context" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (7 novembro 2011)