@inproceedings{LMS97b,
title = {Hierarchical automata as model for statecharts },
author = {Lakhnech, Yassine and Mikk, Erich and Siegel, Michael},
year = {1997},
booktitle = {Proc. of the Asian Computing Science Conference (ASIAN'97)},
publisher = {Springer-Verlag},
series = {LNCS},
volume = {1345},
team = {DCS},
}
