Pao-Ann Hsiung Formal Synthesis and Control of Soft Embedded Real-Time Systems. 35-52 2001 conf/forte/2001 FORTE db/conf/forte/forte2001.html#Hsiung01