@TechReport{tr228,
  author = 	 {Christian Dax and Jochen Eisinger and Felix Klaedtke},
  title = 	 {Mechanizing the Powerset Construction for Restricted Classes of {$\omega$}-Automata},
  institution =  {Institut f{\"u}r Informatik, Universit{\"a}t Freiburg},
  year = 	 {2007},
  number = 	 {228},
}