@inproceedings{MLS97,
title = {{T}owards {E}fficient {M}odelchecking {S}tatecharts },
author = {Mikk, Erich and Lakhnech, Yassine and Siegel, Michael},
month = {April},
year = {1997},
booktitle = {STATEMATE Anwenderforum 97},
team = {DCS},
}
