A. Bauer, M. Leucker, and C. Schallhart, Monitoring of Real-Time Properties, FSTTCS 2006, pp.260-272, 2006.
DOI : 10.1007/11944836_25

C. Baier, B. R. Haverkort, H. Hermanns, and J. Katoen, Model-checking algorithms for continuous-time markov chains, IEEE Transactions on Software Engineering, vol.29, issue.6, pp.524-541, 2003.
DOI : 10.1109/TSE.2003.1205180

C. Baier and J. 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, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01055148

D. Bustan, S. Rubin, and M. Y. Vardi, Verifying omega-regular properties of markov chains, CAV 2004, pp.189-201, 2004.

F. Ciesinski and C. Baier, Liquor: A tool for qualitative and quantitative linear time analysis of reactive systems, pp.131-132, 2006.

F. Ciesinski and M. Größer, On Probabilistic Computation Tree Logic, Validation of Stochastic Systems, pp.147-188, 2004.
DOI : 10.1007/978-3-540-24611-4_5

E. M. Clarke, A. Donzé, and A. Legay, Statistical model checking of mixed-analog circuits with an application to a third order delta-sigma modulator, HVC 2008, pp.149-163, 2008.

E. M. Clarke, A. Donzé, and A. Legay, On simulation-based probabilistic model checking of??mixed-analog circuits, Formal Methods in System Design, vol.204, issue.9, 2009.
DOI : 10.1007/s10703-009-0076-y

E. M. Clarke, J. R. Faeder, C. J. Langmead, L. A. Harris, S. K. Jha et al., Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway, CMSB 2008, pp.231-250, 2008.
DOI : 10.1007/978-3-540-88562-7_18

C. Cmacs and M. Yannakakis, The complexity of probabilistic verification, Journal of the ACM, vol.42, issue.4, pp.857-907, 1995.

T. Dang, A. Donze, and O. Maler, Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques, FMCAD 2004, pp.21-36, 2004.
DOI : 10.1007/978-3-540-30494-4_3

J. R. Faeder, M. L. Blinov, and W. S. Hlavacek, Graphical rule-based representation of signal-transduction networks, Proceedings of the 2005 ACM symposium on Applied computing , SAC '05, pp.133-140, 2005.
DOI : 10.1145/1066677.1066712

J. R. Faeder, M. L. Blinov, and W. S. Hlavacek, Rule-Based Modeling of Biochemical Systems with BioNetGen, Systems Biology. Methods in Molecular Biology, 2008.
DOI : 10.1007/978-1-59745-525-1_5

R. Grosu and S. A. Smolka, Monte Carlo Model Checking, TACAS 2005, pp.271-286, 2005.
DOI : 10.1007/978-3-540-31980-1_18

S. Gupta, B. H. Krogh, and R. A. Rutenbar, Towards formal verification of analog designs, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004., pp.210-217, 2004.
DOI : 10.1109/ICCAD.2004.1382573

K. Havelund and G. Rosu, Synthesizing Monitors for Safety Properties, TACAS 2002, pp.342-356, 2002.
DOI : 10.1007/3-540-46002-0_24

T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, Approximate Probabilistic Model Checking, VMCAI 2004, pp.73-84, 2004.
DOI : 10.1007/978-3-540-24622-0_8

H. Hermanns, B. Wachter, and L. Zhang, Probabilistic CEGAR, CAV 2008, pp.162-175, 2008.
DOI : 10.1007/978-3-540-70545-1_16

D. N. Jansen, J. Katoen, M. Oldenkamp, M. Stoelinga, and I. S. Zapreev, How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison, HVC 2007, pp.69-85, 2008.
DOI : 10.1007/978-3-540-77966-7_9

J. 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

J. Katoen, I. S. Zapreev, E. M. Hahn, H. Hermanns, and D. N. Jansen, The ins and outs of the probabilistic model checker mrmc, Proc. of 6th Int. Conference on the Quantitative Evaluation of Systems (QEST), pp.167-176, 2009.

M. Z. Kwiatkowska, G. Norman, and D. Parker, PRISM 2.0: a tool for probabilistic model checking, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings., pp.322-323, 2004.
DOI : 10.1109/QEST.2004.1348048

S. Laplante, R. Lassaigne, F. Magniez, S. Peyronnet, and M. De-rougemont, Probabilistic abstraction for model checking, ACM Transactions on Computational Logic, vol.8, issue.4, 2007.
DOI : 10.1145/1276920.1276922

K. G. Larsen and A. Skou, Bisimulation through probabilistic testing, Information and Computation, vol.94, issue.1, pp.1-28, 1991.
DOI : 10.1016/0890-5401(91)90030-6
URL : http://doi.org/10.1016/0890-5401(91)90030-6

M. G. Merayo, I. Hwang, M. Núñez, and A. R. Cavalli, A Statistical Approach to Test Stochastic and Probabilistic Systems, ICFEM 2009, pp.186-205, 2009.
DOI : 10.1007/978-3-642-10373-5_10
URL : https://hal.archives-ouvertes.fr/hal-01360751

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

D. E. Rabih and N. Pekergin, Statistical Model Checking Using Perfect Simulation, ATVA 2009, pp.120-134, 2009.
DOI : 10.1007/978-3-642-04761-9_11

J. Rutten, M. Kwiatkowska, G. Norman, and D. Parker, Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems CRM Monograph Series, 2004.

K. Sen, M. Viswanathan, and G. Agha, Statistical Model Checking of Black-Box Probabilistic Systems, CAV 2004, pp.202-215, 2004.
DOI : 10.1007/978-3-540-27813-9_16

K. Sen, M. Viswanathan, and G. Agha, On Statistical Model Checking of Stochastic Systems, CAV 2005, pp.266-280, 2005.
DOI : 10.1007/11513988_26

K. Sen, M. Viswanathan, and G. A. Agha, VESTA: A statistical model-checker and analyzer for probabilistic systems, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), pp.251-252, 2005.
DOI : 10.1109/QEST.2005.42

M. Y. Vardi, Automatic verification of probabilistic concurrent finite state programs, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985), pp.327-338, 1985.
DOI : 10.1109/SFCS.1985.12

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

H. L. Younes, Probabilistic Verification for ???Black-Box??? Systems, CAV 2005, pp.253-265, 2005.
DOI : 10.1007/11513988_25

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

H. L. Younes, Ymer: A Statistical Model Checker, CAV 2005, pp.429-433, 2005.
DOI : 10.1007/11513988_43

H. L. Younes, Error Control for Probabilistic Model Checking, VMCAI 2006, pp.142-156, 2005.
DOI : 10.1007/11609773_10

H. L. Younes, M. Z. Kwiatkowska, G. Norman, and D. Parker, Numerical vs. statistical probabilistic model checking, International Journal on Software Tools for Technology Transfer, vol.19, issue.3, pp.216-228, 2006.
DOI : 10.1007/s10009-005-0187-8

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

H. L. Younes and R. G. Simmons, Statistical probabilistic model checking with a focus on time-bounded properties, Information and Computation, vol.204, issue.9, pp.1368-1409, 2006.
DOI : 10.1016/j.ic.2006.05.002