@techreport{RR-10-07,
  title = "Expected Reachability-Time Games",
  author = "Vojtech Forejt and Marta Kwiatkowska and Gethin Norman and Ashutosh Trivedi",
  year = "2010",
  institution = "OUCL",
  month = "June",
  number = "RR-10-07",
  pages = "29",
}