@misc{lano2013solving,
  title={Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS},
  author={K. Lano and S. Kolahdouz-Rahimi and K. Maroukian},
  year={2013},
  eprint={1312.0352},
  archivePrefix={arXiv},
  primaryClass={cs.SE},
  doi={10.4204/EPTCS.135.13},
  url={https://arxiv.org/abs/1312.0352}
}