Papers by Bernhard Thiele:

Title: Flattening of Modelica State Machines: A Practical Symbolic Representation
Authors: Bernhard Thiele, Adrian Pop and Peter Fritzson
Links: Abstract, Full paper