Efficient synchronization under global EDF scheduling on multiprocessors | IEEE Conference Publication | IEEE Xplore