@Article{Daum:JAR-42-2-349,
  author =       "Matthias Daum and Jan D{\"o}rrenb{\"a}cher and
                 Burkhart Wolff",
  title =        "Proving Fairness and Implementation Correctness of a
                 Microkernel Scheduler",
  journal =      "Journal of Automated Reasoning: Operating System
                 Verification",
  year =         "2009",
  ee =           "http://dx.doi.org/10.1007/s10817-009-9119-8",
  publisher =    "Springer",
  pages =        "349--388",
  publisher =    "Springer",
  volume =       "42",
  number =       "2--4",
}