@misc{le2009statechart,
  title={Statechart Verification with iState},
  author={Dai Tri Man Le},
  year={2009},
  eprint={0909.1361},
  archivePrefix={arXiv},
  primaryClass={cs.SE},
  url={https://arxiv.org/abs/0909.1361}
}