@misc{dblp-journals-corr-krishnat15,
  title = {Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems},
  author = {Shankara Narayanan Krishna and Ashutosh Trivedi},
  year = {2015},
  url = {https://dblp.org/rec/journals/corr/KrishnaT15},
  eprint = {1503.04928},
  archivePrefix = {arXiv}
}