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)

Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets. - Pao-Ann Hsiung; Chuen-Hau Gao (Theory and Practice of Timed Systems @ ETAPS, 2002)