@TechReport{SRWK06,
  author =		"Bastian Schlich and Michael Rohrbach and Michael Weber and Stefan Kowalewski",
  title =		"Model Checking Software for Microcontrollers",
  institution =	"RWTH Aachen",
  year =		"2006",
  number =		"AIB-2006-11",
  month = 		August,
  url = 		"http://aib.informatik.rwth-aachen.de/2006/2006-11.ps.gz",
}