Resource Reservation in Dynamic Real-Time Systems Luca AbeniGiorgio Buttazzo OriginalPaper Pages: 123 - 167
Using Program Transformations to Provide Safety Properties for Real-Time Systems Grace TsaiShuhua Wang OriginalPaper Pages: 191 - 207