Verifiable Embedded Real-Time Application Framework. - Pao-Ann Hsiung; Feng-Shi Su; Chuen-Hau Gao; Shu-Yu Cheng; Yu-Ming Chang (IEEE Real Time Technology and Applications Symposium, 2001)

Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems. - Pao-Ann Hsiung; Shu-Yu Cheng (VLSI Design, 2003)