@techreport{tum-i0803,
  author = 	 {Andreas Bauer and Martin Leucker and Christian
                  Schallhart},
  title = 	 {The good, the bad, and the ugly---but how ugly is ugly?},
  year =	 2008,
  number =	 "TUM-I0803",
  month =	 Feb,
  institution =	 {Institut f\"ur Informatik, Technische Universit\"at
                  M\"unchen}
}