DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-21668-3_11,1729,ToHe,From non-preemptive to preemptive scheduling using synchronization synthesis