Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner. Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams. In Ivan Saraiva Silva, Renato Perez Ribas, Calvin Plett, editors, Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, SBCCI 2009, Natal, Brazil, August 31 - September 03, 2009. ACM, 2009. [doi]
Abstract is missing.