Static Priority Scheduling of Event-Triggered Real-Time Embedded Systems

Publication
Proceedings of the ACM / IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'04)