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