@TechReport{AIB201011Z10,
  author =       "Martin Zimmermann",
  title =        "Parametric LTL Games",
  institution =  "RWTH Aachen University",
  year =         "2010",
  number =       "AIB-2010-11",
  month =        june,
  url =          "http://aib.informatik.rwth-aachen.de/2010/2010-11.ps.gz",
  keywords =     "Infinite Games, Temporal Logic, Optimal Strategies"
}