@inproceedings{PJTJRW092010,
               author = {P. Heckeler, J. Behrend, T. Kropf, J. Ruf, R. Weiss, W. Rosenstiel},
               title = {State-based Coverage Analysis and UML-driven Equivalence Checking for C++ State Machines},
               booktitle = {FM+AM 2010},
               publisher = {Lecture Notes in Informatics},
               year = {2010},
               month = {09},
               volume = {P-179},
               pages = {49-62},
               series = {LNI},
               address = {Pisa}
}