@misc{indiciaee93246e224ab,
  title = {Quantized State Hybrid Automata for Cyber-Physical Systems},
  author = {Avinash Malik and Partha Roop},
  year = {2018},
  url = {https://arxiv.org/abs/1806.05754},
  note = {Source identifier: 1806.05754}
}