@techreport{RR-12-05,
  title = "INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS",
  author = "Vojtech Forejt and Marta Kwiatkowska and David Parker and Hongyang Qu and Mateusz Ujma",
  year = "2012",
  institution = "DCS",
  number = "RR-12-05",
  pages = "15",
}