Cagkan Erbas Andy D. Pimentel Selin Cerav-Erbas Static priority scheduling of event-triggered real-time embedded systems. 49 2007 30 Formal Methods in System Design 1 http://dx.doi.org/10.1007/s10703-006-0025-y db/journals/fmsd/fmsd30.html#ErbasPC07a