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

G. Behrmann, A. Cougnard, A. David, E. Fleury, K. G. Larsen et al., UPPAAL-Tiga: Time for Playing Games!, 19th Int. Conf. on Computer Aided Verification (CAV), pp.121-125, 2007.
DOI : 10.1007/978-3-540-73368-3_14
URL : https://hal.archives-ouvertes.fr/hal-00350466

P. E. Bulychev, A. David, K. G. Larsen, A. Legay, G. Li et al., Rewrite-Based Statistical Model Checking of WMTL, RV, pp.260-275, 2012.
DOI : 10.1007/978-3-642-35632-2_25

P. E. Bulychev, A. David, K. G. Larsen, A. Legay, G. Li et al., Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic, LPAR, pp.168-182, 2012.
DOI : 10.1007/978-3-642-28717-6_15
URL : https://hal.archives-ouvertes.fr/hal-00744100

P. E. Bulychev, A. David, K. G. Larsen, A. Legay, M. Miku?ionis et al., Checking and Distributing Statistical Model Checking, NASA Formal Methods, pp.449-463, 2012.
DOI : 10.1007/978-3-642-28891-3_39

A. David, K. G. Larsen, A. Legay, U. Nyman, and A. Wasowski, Timed I/O automata, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.91-100, 2010.
DOI : 10.1145/1755952.1755967
URL : http://vbn.aau.dk/ws/files/58768871/HSCC2010cameraready.pdf

Z. Vliet and . Wang, Statistical model checking for networks of priced timed automata, FORMATS, LNCS, pp.80-96, 2011.

D. L. Dill, Timing assumptions and verification of finite-state concurrent systems In Automatic Verification Methods for Finite State Systems, International Workshop, Proceedings, pp.197-212, 1989.

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

H. Kahn, Use of different Monte Carlo sampling techniques, 1955.

J. Kempf, M. Bozga, and O. Maler, Performance Evaluation of Schedulers in a Probabilistic Setting, 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), pp.1-17, 2011.
DOI : 10.1007/3-540-45739-9_24
URL : https://hal.archives-ouvertes.fr/hal-00722412

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

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

G. Rubino and B. Tuffin, Rare Event Simulation using Monte Carlo Methods, 2009.
DOI : 10.1002/9780470745403
URL : https://hal.archives-ouvertes.fr/hal-00787654

R. Rubinstein, The cross-entropy method for combinatorial and continuous optimization, Methodology And Computing In Applied Probability, vol.1, issue.2, pp.127-190, 1999.
DOI : 10.1023/A:1010091220143

E. Vicario, L. Sassoli, and L. Carnevali, Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems, IEEE Transactions on Software Engineering, vol.35, issue.5, pp.703-719, 2009.
DOI : 10.1109/TSE.2009.36

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

P. Zuliani, C. Baier, and E. M. Clarke, Rare-event verification for stochastic hybrid systems, Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp.217-226, 2012.
DOI : 10.1145/2185632.2185665