@techreport{RR-09-5,
  title = "STOCHASTIC GAMES FOR VERIFICATION OF PROBABILISTIC TIMED AUTOMATA",
  author = "Marta Kwiatkowska and Gethin Norman and David Parker",
  year = "2009",
  institution = "OUCL",
  number = "RR-09-05",
  pages = "21",
}