Preemption Abstraction. - Erik Schierboom; Alejandro Tamalet; Hendrik Tews; Marko C. J. D. van Eekelen; Sjaak Smetsers (FMICS, 2009)