@misc{indiciaeb1fc23d5b4c1,
  title = {Timed I/O Automata: It is never too late to complete your timed specification theory},
  author = {Martijn A. Goorden and Kim G. Larsen and Axel Legay and Florian Lorber and Ulrik Nyman and Andrzej Wasowski},
  year = {2023},
  url = {https://arxiv.org/abs/2302.04529},
  note = {Source identifier: 2302.04529}
}