Quantitative analysis of hardware support for real-time operating systems Saurav ChatterjeeJay Strosnider OriginalPaper Pages: 123 - 142
Specification and verification of reactive system behaviour: The Railroad Crossing example James ArmstrongLeonor Barroca OriginalPaper Pages: 143 - 178
Scheduling aperiodic tasks in dynamic priority systems Marco SpuriGiorgio Buttazzo OriginalPaper Pages: 179 - 210