@TechReport{Schlich08,
  author =	 {Bastian Schlich},
  title =	 {Model Checking of Software for Microcontrollers},
  institution =	 {RWTH Aachen University},
  year =	 {2008},
  number =	 {AIB-2008-14},
  month =	 {June},
  url =          {http://aib.informatik.rwth-aachen.de/2008/2008-14.pdf},
  type =         {{Dissertation Thesis}},
  issn =	 {0935-3232}
}