@misc{indiciaeff37c27142ec,
  title = {Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems},
  author = {Li Huang and Eun-Young Kang},
  year = {2019},
  url = {https://arxiv.org/abs/1910.14306},
  note = {Source identifier: 1910.14306}
}