Comfortable modeling of complex reactive systems. - Steffen Prochnow; Reinhard von Hanxleden (DATE, 2006)

Synthesizing safe state machines from Esterel. - Steffen Prochnow; Claus Traulsen; Reinhard von Hanxleden (LCTES, 2006)

The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study. - Steffen Prochnow; Reinhard von Hanxleden (GI Jahrestagung (2), 2007)

Statechart Development Beyond WYSIWYG. - Steffen Prochnow; Reinhard von Hanxleden (MoDELS, 2007)

Efficient development of complex statecharts. - Steffen Prochnow (2008)