[1]   Steffen Prochnow. Efficient Development of Complex Statecharts. Phd thesis, Christian-Albrechts-Universität zu Kiel, Faculty of Engineering, Kiel, Germany, 2008. PDF.

[2]   Steffen Prochnow and Reinhard von Hanxleden. Statechart development beyond WYSIWYG. In Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS’07), Nashville, TN, USA, October 2007. PDF.

[3]   Steffen Prochnow and Reinhard von Hanxleden. The use of complex Stateflow-Charts with KIEL—an automotive case study. In Proceedings of 5th GI-Workshop Automotive Software Engineering (ASE’07), Bremen, Germany, September 2007. PDF.

[4]   Steffen Prochnow and Reinhard von Hanxleden. Enhancements of Statechart-modeling—the KIEL environment. In Proceedings of the ARTIST 2007 International Workshop on Tool Platforms for Modeling, Analysis and Validation of Embedded Systems, held in conjunction with the 19th International Conference on Computer Aided Verification (CAV 2007), Berlin, Germany, July 2007. PDF.

[5]   Steffen Prochnow and Reinhard von Hanxleden. Enhancements of Statechart-modeling—the KIEL environment. In Proceedings of the Design, Automation and Test in Europe University Booth (DATE’07), Nice, France, April 2007. With accompanying poster.

[6]   Steffen Prochnow, Gunnar Schaefer, Ken Bell, and Reinhard von Hanxleden. Analyzing robustness of UML State Machines. In 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), Genua, Italy, October 2006. PDF.

[7]   Stephan Höhrmann, Hauke Fuhrmann, Steffen Prochnow, and Reinhard von Hanxleden. A versatile demonstrator for distributed real-time systems: Using a model-railway in education. In Amund Skavhaug and Erwin Schoitsch, editors, Proceedings of the Second ERCIM/DECOS Workshop on Dependable Embedded Systems: Dependability Issues of Networked Embedded Systems: Research, Industrial Experience and Education, Cavtat, Croatia, August 2006. PDF.

[8]   Steffen Prochnow, Claus Traulsen, and Reinhard von Hanxleden. Synthesizing Safe State Machines from Esterel. In Proceedings of ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES’06), Ottawa, Canada, June 2006. PDF.

[9]   Steffen Prochnow and Reinhard von Hanxleden. Comfortable modeling of complex reactive systems. In Proceedings of Design, Automation and Test in Europe (DATE’06), Munich, Germany, March 2006. PDF.

[10]   Steffen Prochnow and Claus Traulsen. KIEL—textual and graphical representations of statecharts. Presentation at the 12th Synchronous Workshop (SYNCHRON’05), Malta, November 2005. PDF.

[11]   Steffen Prochnow and Reinhard von Hanxleden. Visualisierung komplexer reaktiver Systeme – Annotierte Bibliographie. Technical Report 0406, Christian-Albrechts-Universität Kiel, Department of Computer Science, Kiel, Germany, June 2004. PDF.

[12]   Steffen Prochnow. Modelltransformationen von Statecharts – Formale Regeln zur Übersetzung verschiedener Semantiken. Master thesis (German: Diploma thesis), Technische Universität Carolo-Wilhelmina zu Braunschweig, Institute for Programming and Reactive Systems, Braunschweig, Germany, March 2003. PDF.