TY  - RPRT
TI  - Model Checking of Statechart Models: Survey and Research Directions
AU  - Purandar Bhaduri
AU  - S. Ramesh
PY  - 2004
UR  - https://arxiv.org/abs/cs/0407038
ID  - cs/0407038
ER  -