29 New Unclarities in the Semantics of UML 2.0 State Machines. - Harald Fecher; Jens Schönborn; Marcel Kyas; Willem P. de Roever (ICFEM, 2005)

UML 2.0 State Machines: Complete Formal Semantics Via core state machine. - Harald Fecher; Jens Schönborn (FMICS/PDMC, 2006)

Refinement Sensitive Formal Semantics of State Machines With Persistent Choice. - Harald Fecher; Michael Huth 001; Heiko Schmidt; Jens Schönborn (AVoCS, 2007)

A Theory of Bounded Fair Scheduling. - Jens Schönborn; Marcel Kyas (ICTAC, 2008)

Refinement Patterns for Hierarchical UML State Machines. - Jens Schönborn; Marcel Kyas (FSEN, 2009)