Game−Based Probabilistic Predicate Abstraction in PRISM - Kattenbelt, M; Kwiatkowska, M; Norman, G; Parker, D (2008)