Synthesis of real-time embedded software by timed quasi-static scheduling | IEEE Conference Publication | IEEE Xplore