The Carousel-EDF scheduling algorithm for multiprocessor systems | IEEE Conference Publication | IEEE Xplore