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

Publication
Formal methods in system design: an international journal