Formalizing Statecharts using Hierarchical Automata by Steffen Helke 📧 and Florian Kammüller 📧 Aug 08