J. Berendsen, D. Jansen, and F. Vaandrager, Fortuna: Model Checking Priced Probabilistic Timed Automata, 2010 Seventh International Conference on the Quantitative Evaluation of Systems, pp.273-281, 2010.
DOI : 10.1109/QEST.2010.41

M. Duflot, M. Kwiatkowska, G. Norman, and D. Parker, A formal analysis of bluetooth device discovery, International Journal on Software Tools for Technology Transfer, vol.12, issue.3/4, pp.621-632, 2006.
DOI : 10.1007/s10009-006-0014-x

A. Hartmanns and H. Hermanns, A Modest Approach to Checking Probabilistic Timed Automata, 2009 Sixth International Conference on the Quantitative Evaluation of Systems, pp.187-196, 2009.
DOI : 10.1109/QEST.2009.41

J. Heath, M. Kwiatkowska, G. Norman, D. Parker, and O. Tymchyshyn, Probabilistic model checking of complex biological pathways, TCS, vol.319, issue.3, pp.239-257, 2008.

T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, Approximate Probabilistic Model Checking, Proc. VMCAI'04, pp.307-329, 2004.
DOI : 10.1007/978-3-540-24622-0_8

H. Jensen, Model checking probabilistic real time systems, Proc. 7th Nordic Workshop on Programming Theory, pp.247-261, 1996.

J. P. Katoen, E. M. Hahn, H. Hermanns, D. Jansen, and I. Zapreev, The ins and outs of the probabilistic model checker MRMC, Proc. QEST'09, pp.167-176, 2009.

M. Kattenbelt, M. Kwiatkowska, G. Norman, and D. Parker, Abstraction Refinement for Probabilistic Software, Proc. VMCAI'09, pp.182-197, 2009.
DOI : 10.1007/978-3-540-93900-9_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.3875

M. Kattenbelt, M. Kwiatkowska, G. Norman, and D. Parker, A game-based abstraction-refinement framework for??Markov decision processes, Formal Methods in System Design, vol.58, issue.1???2, 2010.
DOI : 10.1007/s10703-010-0097-6

M. Kwiatkowska, G. Norman, and D. Parker, Stochastic Games for Verification of Probabilistic Timed Automata, Proc. FORMATS'09, pp.212-227, 2009.
DOI : 10.1007/s10703-005-1632-8
URL : https://hal.archives-ouvertes.fr/inria-00457923

M. Kwiatkowska, G. Norman, D. Parker, and J. Sproston, Performance analysis of probabilistic timed automata using digital clocks, pp.33-78, 2006.

M. Kwiatkowska, G. Norman, R. Segala, and J. Sproston, Automatic verification of real-time systems with discrete probability distributions, Theoretical Computer Science, vol.282, issue.1, pp.101-150, 2002.
DOI : 10.1016/S0304-3975(01)00046-9

K. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

H. Younes and R. Simmons, Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling, Proc. CAV'02, pp.223-235, 2002.
DOI : 10.1007/3-540-45657-0_17