@phdthesis{Alkassar:OSVE09,
  author =       "EyadAlkassar",
  title =        "OS Verication Extended - On the Formal Verication of Device Drivers and the Correctness of Client/Server Software",
  school =       "Saarland University, Computer Science Department",
  year =         "2009",
  URL =          "http://scidok.sulb.uni-saarland.de/volltexte/2009/2420/pdf/Dissertation_1410_Alka_Eyad_2009.pdf",
}