@TechReport{Z09,
  author =       "Martin Zimmermann",
  title =        "Time-optimal Winning Strategies for Poset Games",
  institution =  "RWTH Aachen University",
  year =         "2009",
  number =       "AIB-2009-13",
  month =        may,
  url =          "http://aib.informatik.rwth-aachen.de/2009/2009-13.ps.gz",
  keywords =     "Infinite Games, Optimal Strategies, Scheduling, Mean-Payoff Games"
}