Pao-Ann Hsiung Win-Bin See Trong-Yen Lee Jih-Ming Fu Sao-Jie Chen Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks. 71-78 2001 conf/apsec/2001 APSEC http://csdl.computer.org/comp/proceedings/apsec/2001/1408/00/14080071abs.htm db/conf/apsec/apsec2001.html#HsiungSLFC01