Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland J. Weiss. State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. In Stefan Gruner, Bernhard Rumpe, editors, FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy). Volume 179 of LNI, pages 49-62, GI, 2010.
Abstract is missing.