W Ji, D Wei, Q Zhi-Chang - International Conference on Formal …, 2002 - Springer
Hierarchical Automata has been widely used in modeling dynamic aspects of reactive
software, such as in UML Statecharts. At the same time, model checking is an automatic …