@mastersthesis{Alk05,
AUTHOR = {Alkassar, Eyad},
TITLE = {Constructing a Formal Framework for Modeling and Verifying a Real Operating System},
YEAR = {2005},
SCHOOL = {Universitšt des Saarlandes},
}