@techreport{RR-09-17,
  title = "Assume-Guarantee Verification for Probabilistic Systems",
  author = "Marta Kwiatkowska and Gethin Norman and David Parker and Hongyang Qu",
  year = "2009",
  institution = "OUCL",
  month = "December",
  number = "RR-09-17",
  pages = "19",
}