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

T. R. Andel and A. Yasinsac, On the Credibility of Manet Simulations, Computer, vol.39, issue.7, pp.48-54, 2006.
DOI : 10.1109/MC.2006.242

C. Baier, P. R. D-'argenio, and M. Größer, Partial Order Reduction for Probabilistic Branching Time, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.97-116, 2006.
DOI : 10.1016/j.entcs.2005.10.034
URL : http://doi.org/10.1016/j.entcs.2005.10.034

C. Baier and J. P. Katoen, Principles of Model Checking, 2008.

A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye et al., Statistical abstraction and model-checking of large heterogeneous systems, FMOODS/FORTE, pp.32-46, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00466158

H. C. Bohnenkamp, P. R. D-'argenio, H. Hermanns, and J. P. Katoen, MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems, IEEE Transactions on Software Engineering, vol.32, issue.10, pp.812-830, 2006.
DOI : 10.1109/TSE.2006.104
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.488.1021

H. Boudali, P. Crouzen, B. R. Haverkort, M. Kuntz, and M. Stoelinga, Architectural dependability evaluation with Arcade, 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN), pp.512-521, 2008.
DOI : 10.1109/DSN.2008.4630122
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.6615

D. Cavin, Y. Sasson, and A. Schiper, On the accuracy of MANET simulators, Proceedings of the second ACM international workshop on Principles of mobile computing , POMC '02, pp.38-43, 2002.
DOI : 10.1145/584490.584499

S. Giro, P. R. D-'argenio, and L. M. Ferrer-fioriti, Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers, In: CONCUR. LNCS, vol.6, issue.2, pp.338-353, 2009.
DOI : 10.1007/s10009-004-0140-2

P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems ? An Approach to the State-Explosion Problem, LNCS, vol.1032, 1996.

A. Hartmanns and H. Hermanns, A Modest Approach to Checking Probabilistic Timed Automata, 2009 Sixth International Conference on the Quantitative Evaluation of Systems, pp.187-196, 2009.
DOI : 10.1109/QEST.2009.41

J. P. Katoen, J. Van-de-pol, M. Stoelinga, and M. Timmer, A Linear Process-Algebraic Format for Probabilistic Systems with Data, 2010 10th International Conference on Application of Concurrency to System Design, pp.213-222, 2010.
DOI : 10.1109/ACSD.2010.18
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.172.8335

J. P. Katoen and I. S. Zapreev, Simulation-Based CTMC Model Checking: An Empirical Evaluation, 2009 Sixth International Conference on the Quantitative Evaluation of Systems, pp.31-40, 2009.
DOI : 10.1109/QEST.2009.25
URL : https://ris.utwente.nl/ws/files/5486360/IEEEXplore.pdf

L. Kocsis and C. Szepesvári, Bandit Based Monte-Carlo Planning, ECML. LNCS, pp.282-293, 2006.
DOI : 10.1007/11871842_29
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.1296

A. M. Law and D. W. Kelton, Simulation Modelling and Analysis, 2000.

S. B. Maaß and . Sc, Translating Arcade models into MoDeST code Thesis 17. Minea, M.: Partial order reduction for model checking of timed automata, In: CONCUR. LNCS, vol.1664, pp.431-446, 1999.

D. Parker, Implementation of Symbolic Model Checking for Probabilistic Systems, 2002.

D. Peled, Combining partial order reductions with on-the-fly model-checking, CAV. LNCS, pp.377-390, 1994.
DOI : 10.1007/bf00121262
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.1002

R. Segala, Modeling and Verification of Randomized Distributed Real-Time Systems, 1995.

M. Stoelinga and U. Katholieke, Alea jacta est: Verification of Probabilistic, Real-Time and Parametric Systems, 2002.

A. Valmari, A stubborn attack on state explosion, CAV. LNCS, pp.156-165, 1990.
DOI : 10.1090/dimacs/003/04

H. L. Younes, M. Z. Kwiatkowska, G. Norman, and D. Parker, Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study, TACAS. LNCS, pp.46-60, 2004.
DOI : 10.1007/978-3-540-24730-2_4

H. L. Younes and R. G. Simmons, Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling, CAV. LNCS, pp.223-235, 2002.
DOI : 10.1007/3-540-45657-0_17

P. Zuliani, A. Platzer, and E. M. Clarke, Bayesian statistical model checking with application to simulink/stateflow verification, pp.243-252, 2010.
DOI : 10.1145/1755952.1755987