C. Baier and J. Katoen, Principles of Model Checking (Representation and Mind Series), 2008.

B. Barbot, S. Haddad, and C. Picaronny, Coupling and Importance Sampling for Statistical Model Checking, LNCS, vol.7214, pp.331-346, 2012.
DOI : 10.1007/978-3-642-28756-5_23
URL : https://hal.archives-ouvertes.fr/hal-00776795

B. Boyer, K. Corre, A. Legay, and S. Sedwards, PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, Quantitative Evaluation of Systems, pp.160-164, 2013.
DOI : 10.1007/978-3-642-40196-1_12
URL : https://hal.archives-ouvertes.fr/hal-01088411

F. Cérou, P. Del-moral, T. Furon, and A. Guyader, Sequential Monte Carlo for rare event estimation, Statistics and Computing, vol.22, issue.4, pp.795-808, 2012.
DOI : 10.1007/s11222-011-9231-6

F. Cérou and A. Guyader, Adaptive Multilevel Splitting for Rare Event Analysis, Stochastic Analysis and Applications, vol.23, issue.2, pp.417-443, 2007.
DOI : 10.1214/aop/1176990746

E. Clarke, E. A. Emerson, and J. Sifakis, Model checking, Communications of the ACM, vol.52, issue.11, pp.74-84, 2009.
DOI : 10.1145/1592761.1592781

E. M. Clarke, J. , O. Grumberg, and D. A. Peled, Model checking, 1999.

P. and D. Moral, Feynman-Kac Formulae: Genealogical and Interacting Particle Systems with Applications. Probability and Its Applications, 2004.

D. T. Gillespie, Exact stochastic simulation of coupled chemical reactions, The Journal of Physical Chemistry, vol.81, issue.25, pp.2340-2361, 1977.
DOI : 10.1021/j100540a008

P. Glasserman, P. Heidelberger, P. Shahabuddin, and T. Zajic, Multilevel Splitting for Estimating Rare Event Probabilities, Operations Research, vol.47, issue.4, pp.585-600, 1999.
DOI : 10.1287/opre.47.4.585

C. Jegourel, A. Legay, and S. Sedwards, A Platform for High Performance Statistical Model Checking ??? PLASMA, LNCS, vol.7214, pp.498-503, 2012.
DOI : 10.1007/978-3-642-28756-5_37
URL : https://hal.archives-ouvertes.fr/hal-01087824

C. Jegourel, A. Legay, and S. Sedwards, Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking, LNCS, vol.7358, pp.327-342, 2012.
DOI : 10.1007/978-3-642-31424-7_26
URL : https://hal.archives-ouvertes.fr/hal-01087341

C. Jégourel, A. Legay, and S. Sedwards, Importance Splitting for Statistical Model Checking Rare Properties, CAV, pp.576-591, 2013.
DOI : 10.1007/978-3-642-39799-8_38

H. Kahn, Random sampling (Monte Carlo) techniques in neutron attenuation problems, Nucleonics, vol.6, issue.5, p.27, 1950.

H. Kahn and T. E. Harris, Estimation of Particle Transmission by Random Sampling, In Applied Mathematics, vol.5, 1951.

H. Kahn and A. W. Marshall, Methods of Reducing Sample Size in Monte Carlo Computations, Journal of the Operations Research Society of America, vol.1, issue.5, pp.263-278, 1953.
DOI : 10.1287/opre.1.5.263

D. Lehmann and M. O. Rabin, On the Advantage of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem (Extended Abstract), Proc. 8th Ann. Symposium on Principles of Programming Languages, pp.133-138, 1981.

M. Okamoto, Some inequalities relating to the partial sum of binomial probabilities, Annals of the Institute of Statistical Mathematics, vol.7, issue.1, pp.29-35, 1959.
DOI : 10.1007/BF02883985

D. Reijsbergen, P. De-boer, W. Scheinhardt, and B. Haverkort, Rare Event Simulation for Highly Dependable Systems with Fast Repairs, 2010 Seventh International Conference on the Quantitative Evaluation of Systems, pp.7-8336, 2012.
DOI : 10.1109/QEST.2010.39

M. N. Rosenbluth and A. W. Rosenbluth, Monte Carlo Calculation of the Average Extension of Molecular Chains, The Journal of Chemical Physics, vol.23, issue.2, 1955.
DOI : 10.1063/1.1741967

M. Villén-altamirano and J. Villén-altamirano, RESTART: A Method for Accelerating Rare Event Simulations, Queueing, Performance and Control in ATM, pp.71-76, 1991.

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