Hongping Lim Dilsun Kirli Kaynar Nancy A. Lynch Sayan Mitra Translating Timed I/O Automata Specifications for Theorem Proving in PVS. 17-31 2005 conf/formats/2005 FORMATS http://dx.doi.org/10.1007/11603009_3 db/conf/formats/formats2005.html#LimKLM05