Timed I/O automata: a complete specification theory for real-time systems (2010)

by A David, K G Larsen, A Legay, U Nyman, A Wasowski
Venue:In HSCC. Pp. 91–100. ACM