@misc{indiciaec6ee3f4b3b06,
  title = {Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems},
  author = {Smitha Gautham and Abhilash Rajagopala and Athira Varma Jayakumar and Christopher Deloglos and Erwin Karincic and Carl Elks},
  year = {2020},
  url = {https://arxiv.org/abs/2009.09533},
  note = {Source identifier: 2009.09533}
}