@phdthesis{MS11,
AUTHOR = {Schmidt, Mareike},
TITLE = {Formal Verification of a Small Real-Time Operating System},
YEAR = {2011},
URL = {http:///publikationen/MS11.pdf},
SCHOOL = {Saarland University, Saarbr├╝cken},
}