@inproceedings{duggirala2015meeting,
  title={Meeting a powertrain verification challenge},
  author={Duggirala, Parasara Sridhar and Fan, Chuchu and Mitra, Sayan and Viswanathan, Mahesh},
  booktitle={International Conference on Computer Aided Verification},
  pages={536--543},
  year={2015},
  organization={Springer International Publishing}
}