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 ’10,