@inproceedings{ProchnowSBvH06, author = {Steffen Prochnow and Gunnar Schaefer and Ken Bell and Reinhard von Hanxleden}, title = {Analyzing Robustness of {UML State Machines}}, booktitle = {Proceedings of the Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES '06), held in conjunction with the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML 2006)}, year = {2006}, address = {Genua, Italy}, month = {October}, pdf = {martes06.pdf}, urltalk = {martes06-talk.pdf}, }