Timed I/O automata

Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2010 Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10  
doi:10.1145/1755952.1755967 dblp:conf/hybrid/DavidLLNW10 fatcat:7ynvw6u5b5erpilv7ttffumqlu