How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study* A. Burns OriginalPaper Pages: 135 - 151
On the Scheduling of Flexible and Reliable Real-Time Control Systems Ramesh ChandraXue LiuLui Sha OriginalPaper Pages: 153 - 169
Utilization-Based Admission Control for Scalable Real-Time Communication Byung-Kyu ChoiDong XuanChengzhi Li OriginalPaper Pages: 171 - 202
Fail-Awareness: An Approach to Construct Fail-Safe Systems Christof FetzerFlaviu Cristian OriginalPaper Pages: 203 - 238