@inproceedings{KKNP08a,
  title = "Game-Based Probabilistic Predicate Abstraction in {PRISM}",
  author = "M. Kattenbelt and M. Kwiatkowska and G. Norman and D. Parker",
  year = "2008",
  booktitle = "Proc. 6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08)",
  url = "http://qav.comlab.ox.ac.uk/papers/qapl08.pdf",
}