@misc{bhaduri2004model,
  title={Model Checking of Statechart Models: Survey and Research Directions},
  author={Purandar Bhaduri and S. Ramesh},
  year={2004},
  eprint={cs/0407038},
  archivePrefix={arXiv},
  primaryClass={cs.SE},
  url={https://arxiv.org/abs/cs/0407038}
}