@techreport{4598,
  title = "QUANTITATIVE MULTI-OBJECTIVE VERIFICATION FOR PROBABILISTIC SYSTEMS",
  author = "Vojtˇech Forejt and Marta Kwiatkowska and Gethin Norman and David Parker and Hongyang Qu",
  year = "2010",
  institution = "OUCL",
  number = "RR-10-26",
  pages = "27",
}