Hsiung, Lin, 2003. Synthesis of real-time embedded software with local and global deadlines, in: . ACM Press.. https://doi.org/10.1145/944678.944679