@MastersThesis{Ste98,
   author = "Michael Stegm{\"u}ller",
   title =  "{Formale Verifikation des DLX RISC-Prozessors: Eine Fallstudie
 basierend auf abstrakten Zustandsmaschinen}", 
   school = "Universit{\"a}t Ulm",
   year =   1998}