@mastersthesis{Alk05, AUTHOR = {Alkassar, Eyad},TITLE = {Constructing a Formal Framework for Modeling and Verifying a Real Operating System},YEAR = {2005},URL = {http:///publikationen/Alk05.pdf}, SCHOOL = {Universität des Saarlandes},}