@PhdThesis{Tsyban_FVFMP09,
  author =       "Alexandra Tsyban",
  title =        "Formal Verification of a Framework for Microkernel Programmers",
  school =       "Saarland University, Computer Science Department",
  month =        nov,
  year =         "2009",
  URL =          "http://www-wjp.cs.uni-sb.de/publikationen/Tsy09.pdf",
}