E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, Counterexample-guided abstraction refinement, Proc. CAV'00, 2000.
DOI : 10.1109/time.2003.1214874
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.407

M. Kwiatkowska, Quantitative verification: Models, techniques and tools, Proc. 6th ESEC/FSE, pp.449-458, 2007.

M. Kwiatkowska, G. Norman, and D. Parker, Game-based abstraction for Markov decision processes, Proc. QEST'06, 2006.

M. Kattenbelt, M. Kwiatkowska, G. Norman, and D. Parker, Abstraction Refinement for Probabilistic Software, Proc. 10th VMCAI'09, pp.182-197, 2009.
DOI : 10.1007/978-3-540-93900-9_17