A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Systems in BIP, SEFM06, pp.3-12, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00527491

E. M. Clarke, A. Donzé, and A. Legay, Statistical model checking of mixedanalog circuits with an application to a third order delta-sigma modulator, HVC, pp.149-163, 2008.

E. M. Clarke, J. R. Faeder, C. J. Langmead, L. A. Harris, S. K. Jha et al., Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway, CMSB, pp.231-250, 2008.
DOI : 10.1007/978-3-540-88562-7_18

R. Grosu and S. A. Smolka, Monte Carlo Model Checking, TACAS, pp.271-286, 2005.
DOI : 10.1007/978-3-540-31980-1_18

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

W. Hoeffding, Probability Inequalities for Sums of Bounded Random Variables, Journal of the American Statistical Association, vol.1, issue.301, pp.13-30, 1963.
DOI : 10.1214/aoms/1177730491

D. N. Jansen, J. Katoen, M. Oldenkamp, M. Stoelinga, and I. S. Zapreev, How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison, HVC, 2007.
DOI : 10.1007/978-3-540-77966-7_9

S. K. Jha, E. M. Clarke, C. J. Langmead, A. Legay, A. Platzer et al., A Bayesian Approach to Model Checking Biological Systems, In CMSB LNCS, vol.204, issue.9, pp.218-234, 2009.
DOI : 10.1016/j.ic.2006.05.002

S. Laplante, R. Lassaigne, F. Magniez, S. Peyronnet, and M. De-rougemont, Probabilistic abstraction for model checking, ACM Transactions on Computational Logic, vol.8, issue.4, 2007.
DOI : 10.1145/1276920.1276922

K. Sen, M. Viswanathan, and G. Agha, Statistical model checking of blackbox probabilistic systems, CAV, pp.202-215, 2004.

A. Wald, Sequential Tests of Statistical Hypotheses, The Annals of Mathematical Statistics, vol.16, issue.2, pp.117-186, 1945.
DOI : 10.1214/aoms/1177731118

H. L. Younes, Verification and Planning for Stochastic Processes with Asynchronous Events, 2005.