@phdthesis{JD10,
AUTHOR = {Dörrenbächer, Jan},
TITLE = {Formal Specification and Verification of a Microkernel},
YEAR = {2010},
SCHOOL = {Saarland University, Saarbrücken},
}