@techreport{Chatte08b,
  author	= {Chatterjee, Krishnendu and Henzinger, Thomas A. and Jobstmann, Barbara},
  title		= {Environment Assumptions for Synthesis},
  year		= {2008},
  institution	= {Ecole Polytechnique Federale de Lausanne},
  pdf		= {files/tech.pdf},
}