An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration
H. Zabel, W. Müller, 271 (2008).