I. I. 61588, Precision clock synchronization protocol for networked measurement and control systems, 2004.

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

A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye et al., Statistical abstraction and model-checking of large heterogeneous systems, Research Report RR, vol.7238, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01055148

E. M. Clarke, A. Donzé, and A. Legay, Statistical model checking of mixed-analog circuits with an application to a third order delta-sigma modulator, HVC. LNCS, 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. LNCS, pp.231-250, 2008.
DOI : 10.1007/978-3-540-88562-7_18

R. Grosu and S. A. Smolka, Monte Carlo Model Checking, TACAS. LNCS, 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. LNCS, 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. P. Katoen, M. Oldenkamp, M. Stoelinga, and I. S. Zapreev, How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison, HVC. LNCS, 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, CMSB. LNCS, 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 Black-Box Probabilistic Systems, LNCS, vol.3114, pp.202-215, 2004.
DOI : 10.1007/978-3-540-27813-9_16

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.

H. L. Younes, M. Z. Kwiatkowska, G. Norman, and D. Parker, Numerical vs. statistical probabilistic model checking, International Journal on Software Tools for Technology Transfer, vol.19, issue.3, pp.216-228, 2006.
DOI : 10.1007/s10009-005-0187-8