Translating Timed I/O Automata Specifications for Theorem Proving in PVS. - Hongping Lim; Dilsun Kirli Kaynar; Nancy A. Lynch; Sayan Mitra (FORMATS, 2005)

Specifying and proving properties of timed I/O automata in the TIOA toolkit. - Myla Archer; Hongping Lim; Nancy A. Lynch; Sayan Mitra; Shinya Umeno (MEMOCODE, 2006)

Translation Templates to Support Strategy Development in PVS. - Hongping Lim; Myla Archer (STRATEGIES@IJCAR, 2006)

Specifying and proving properties of timed I/O automata using Tempo. - Myla Archer; Hongping Lim; Nancy A. Lynch; Sayan Mitra; Shinya Umeno (Des. Autom. Embed. Syst., 2008)