@inproceedings{jin2014ARCH,
  title={Benchmarks for Model Transformations and Conformance Checking},
  author={Jin, Xiaoqing and Deshmukh, Jyotirmoy and Kapinski, James and Ueda, Koichi and Butts, Ken},
  booktitle={Proceedings of the 1st international workshop on Applied Verification for Continuous and Hybrid Systems (ARCH)},
  year={2014},
}