@misc{indiciae206eae15bcc3,
  title = {On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report},
  author = {Max Kanovich and Tajana Ban Kirigin and Vivek Nigam and Andre Scedrov and Carolyn Talcott},
  year = {2021},
  url = {https://arxiv.org/abs/2105.03531},
  note = {Source identifier: 2105.03531}
}