@inproceedings{KKNP09,
  title = "Abstraction Refinement for Probabilistic Software",
  author = "M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker",
  year = "2009",
  booktitle = "Proc. 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI `09)",
  month = "January",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://qav.comlab.ox.ac.uk/papers/vmcai09.pdf",
}