Formal Verification of UML Sequence Diagrams in the Embedded Systems Context
Raimundo da Silva Barreto
H. O. ROCHA
M. M. CUSTODIO