Myla Archer Hongping Lim Nancy A. Lynch Sayan Mitra Shinya Umeno Specifying and proving properties of timed I/O automata in the TIOA toolkit. 129-138 2006 conf/memocode/2006 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2006.1695916 db/conf/memocode/memocode2006.html#ArcherLLMU06