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