@Inproceedings{EPTCS232.9,
  author    = {Bhave, Devendra and Narayanan Krishna, Shankara and Trivedi, Ashutosh},
  year      = {2016},
  title     = {On Nonlinear Prices in Timed Automata},
  editor    = {Kargahi, Mehdi and Trivedi, Ashutosh},
  booktitle = {{\rm Proceedings of the The First Workshop on}
               Verification and Validation of Cyber-Physical Systems,
               {\rm Reykjav\'ik, Iceland, June 4-5, 2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {232},
  publisher = {Open Publishing Association},
  pages     = {65-78},
  doi       = {10.4204/EPTCS.232.9},
}