Resource Reservation in Dynamic Real-Time Systems
A Model For Updating Real-Time Applications
Using Program Transformations to Provide Safety Properties for Real-Time Systems