@misc{cengarle2014system,
  title={System Model Semantics of Statecharts},
  author={Maria Victoria Cengarle and Hans Grönninger and Bernhard Rumpe},
  year={2014},
  eprint={1409.6636},
  archivePrefix={arXiv},
  primaryClass={cs.SE},
  url={https://arxiv.org/abs/1409.6636}
}