TY  - RPRT
TI  - Timed I/O Automata: It is never too late to complete your timed specification theory
AU  - Martijn A. Goorden
AU  - Kim G. Larsen
AU  - Axel Legay
AU  - Florian Lorber
AU  - Ulrik Nyman
AU  - Andrzej Wasowski
PY  - 2023
UR  - https://arxiv.org/abs/2302.04529
ID  - 2302.04529
ER  -