Scheduling of semi-independent real-time components: Overrun methods and resource holding times. | IEEE Conference Publication | IEEE Xplore