Resource holding times: computation and optimization Marko BertognaNathan FisherSanjoy Baruah OriginalPaper 25 September 2008 Pages: 87 - 117
Formal verification of real-time systems with preemptive scheduling Didier LimeOlivier (H. ) Roux OriginalPaper 28 August 2008 Pages: 118 - 151
Robust priority assignment for messages on Controller Area Network (CAN) Robert I. DavisAlan Burns OriginalPaper 26 November 2008 Pages: 152 - 180