@inproceedings{jyo2014ARCH,
  title={Piecewise Affine Approximations for a Powertrain Control Benchmark},
  author={J. V. Deshmukh and H. Ito and X. Jin and J. Kapinski and K. Butts and J. Gerhard and B. Samadi and K. Walker and Y. Xie},
  booktitle={Proceedings of the 2st international workshop on Applied Verification for Continuous and Hybrid Systems (ARCH)},
  year={2015},
}