Synthesis of Real-Time Implementations from Component-Based Software Models. - Gu, Zonghua; Shin, Kang G. (2005)