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

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

H. Chernoff, A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations, The Annals of Mathematical Statistics, vol.23, issue.4, pp.493-507, 1952.
DOI : 10.1214/aoms/1177729330

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.

E. W. Dijkstra, Hierarchical ordering of sequential processes, Acta Informatica, vol.1, issue.2, pp.115-138, 1971.
DOI : 10.1007/BF00289519

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

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.

N. Metropolis and S. Ulam, The Monte Carlo Method, Journal of the American Statistical Association, vol.44, issue.247, pp.335-341, 1949.
DOI : 10.1080/01621459.1949.10483310

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

A. Ridder, Importance Sampling Simulations of Markovian Reliability Systems Using Cross-Entropy, Annals of Operations Research, vol.40, issue.7, pp.119-136, 2005.
DOI : 10.1007/s10479-005-5727-9

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

P. Shahabuddin, Importance Sampling for the Simulation of Highly Reliable Markovian Systems, Management Science, vol.40, issue.3, pp.333-352, 1994.
DOI : 10.1287/mnsc.40.3.333

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