Marco Aurélio Wehrmeister, Carlos Eduardo Pereira. Towards Early Verification of UML Models for Embedded and Real-Time Systems. In Klaus Schilling, Florian Leutert, editors, 1st Conference on Embedded Systems, Computational Intelligence and Telematics in Control, CESCIT 2012, Würzburg, Germany, April 03-05, 2012. pages 25-30, International Federation of Automatic Control, 2012. [doi]
Abstract is missing.