An Algorithm for Online Reconfiguration of Resource Reservations for Hard Real-Time Systems | IEEE Conference Publication | IEEE Xplore