VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software. - Pao-Ann Hsiung; Shang-Wei Lin 001; Chih-Hao Tseng; Trong-Yen Lee; Jih-Ming Fu; Win-Bin See (IEEE Trans. Software Eng., 2004)

UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems. - Chih-Hao Tseng; Pao-Ann Hsiung (EUC, 2005)