An Overrun Method to Support Composition of Semi-independent Real-Time Components | IEEE Conference Publication | IEEE Xplore