RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology. - Trong-Yen Lee; Pao-Ann Hsiung; I-Mu Wu; Feng-Shi Su (RTCSA, 2003)