Hsiungand Lin. Synthesis of Real-time Embedded Software with Local and Global Deadlines. ACM Press, 2003, doi:10.1145/944678.944679.