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