Pao-Ann Hsiung, Cheng-Yi Lin: Synthesis of real-time embedded software with local and global deadlines. CODES+ISSS 2003: 114-119