@article{DaumDW-jarosv08,
AUTHOR = {Daum, Matthias and Dörrenbächer, Jan and Wolff, Burkhart},
TITLE = {Proving Fairness and Implementation Correctness of a Microkernel Scheduler},
VOLUME = {42, Numbers 2-4},
YEAR = {2009},
PAGES = {349-388},
BOOKTITLE = {Journal of Automated Reasoning: Special Issue on Operating System Verification},
PUBLISHER = {Springer},
EDITOR = {Klein, Gerwin and Huuck, Ralf and Schlich, Bastian},
EE = {http://dx.doi.org/10.1007/s10817-009-9119-8},
}