R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

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

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, pp.417-443, 2007.

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.

A. David, K. G. Larsen, A. Legay, M. Miku?ionis, D. B. Poulsen et al., Statistical Model Checking for Networks of Priced Timed Automata, FORMATS, LNCS, pp.80-96, 2011.
DOI : 10.1145/1755952.1755987

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

E. W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, vol.18, issue.8, pp.453-457, 1975.
DOI : 10.1145/360933.360975

A. Itai and M. Rodeh, Symmetry breaking in distributed networks, Information and Computation, vol.88, issue.1, pp.60-87, 1990.
DOI : 10.1016/0890-5401(90)90004-2

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

C. Jegourel, A. Legay, and S. Sedwards, Importance Splitting for Statistical Model Checking Rare Properties, Computer Aided Verification, pp.576-591, 2013.
DOI : 10.1007/978-3-642-39799-8_38
URL : https://hal.archives-ouvertes.fr/hal-01087826

C. Jegourel, A. Legay, and S. Sedwards, An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, pp.143-159, 2014.
DOI : 10.1007/978-3-662-45231-8_11
URL : https://hal.archives-ouvertes.fr/hal-01087828

C. Jegourel, A. Legay, S. Sedwards, and L. Traonouez, Distributed verification of rare properties using importance splitting observers, ECEASST, p.72, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01238982

H. Kahn, Stochastic (Monte Carlo) attenuation analysis, 1949.

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, Proc. 8 th Ann. Symposium on Principles of Programming Languages, pp.133-138, 1981.

O. Maler, K. G. Larsen, and B. H. Krogh, On Zone-Based Analysis of Duration Probabilistic Automata, 12th International Workshop on Verification of Infinite- State Systems (INFINITY), pp.33-46, 2010.
DOI : 10.4204/EPTCS.39.3

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

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

R. Rubinstein, The cross-entropy method for combinatorial and continuous optimization, Methodology and Computing in Applied Probability, pp.127-190, 1999.

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