Cunha, E., 		Custodio, M., 		Rocha, H., & 		Barreto, R.
2011 Nov  7.  Formal Verification of UML Sequence Diagrams in the Embedded Systems Context. Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC). [Online] :