A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski. "Timed I/O automata." Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 (2010) 91-100