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