State-based Analysis and UML-driven Equivalence Checking for C++ State Machines.

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. 49-62 2010 FM+AM conf/fmam/2010 db/conf/fmam/fmam2010.html#HeckelerBKRRW10 http://subs.emis.de/LNI/Proceedings/Proceedings179/article6223.html