@misc{indiciae1b0b4f314daf,
  title = {Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)},
  author = {Adnan Rashid and Umair Siddique and Sofiene Tahar},
  year = {2020},
  url = {https://arxiv.org/abs/2003.03729},
  note = {Source identifier: 2003.03729}
}