Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner. Formal Verification for Embedded Systems Design Based on MDE. In Achim Rettberg, Mauro Cesar Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig, editors, Analysis, Architectures and Modelling of Embedded Systems, Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings. Volume 310 of IFIP, pages 159-170, Springer, 2009. [doi]