@TechReport{KKNP08b,
author={M. Kattenbelt and M. Kwiatkowska and G. Norman and D. Parker},
title={Game-Based Probabilistic Predicate Abstraction in {PRISM}},
institution={Oxford University Computing Laboratory},
year={2008},

type={},
number={RR-08-01},
address={},
month={February},
note={},
key={}
}