DOI,IST REx ID,Research Group,Title of publication
10.1007/s10703-016-0256-5,1338,ToHe,From non-preemptive to preemptive scheduling using synchronization synthesis