DOM: A Data-dependency-Oriented Modeling approach for efficient simulation of OS preemptive scheduling | IEEE Conference Publication | IEEE Xplore