@misc{indiciae47a3daa7acfe,
  title = {A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation},
  author = {S Akshay and Paul Gastin and R Govind and Aniruddha R Joshi and B Srivathsan},
  year = {2023},
  url = {https://arxiv.org/abs/2305.17824},
  note = {Source identifier: 2305.17824}
}