A Delay Composition Theorem for Real-Time Pipelines | IEEE Conference Publication | IEEE Xplore