"Modular verification of preemptive OS kernels."

Alexey Gotsman, Hongseok Yang (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics