A structured operational semantics for UML-statecharts

Michael von der Beeck. A structured operational semantics for UML-statecharts. Software and Systems Modeling, 1(2):130-141, 2002. [doi]

Abstract

Abstract is missing.