M. A. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, ACM SIGMETRICS Performance Evaluation Review, vol.26, issue.2, 1995.
DOI : 10.1145/288197.581193

C. Baier, B. Haverkort, H. Hermanns, and J. Katoen, Model-checking algorithms for CTMCs, IEEE Trans. on Software Eng, vol.29, issue.6, 2003.

P. Ballarini, H. Djafri, M. Duflot, S. Haddad, and N. Pekergin, COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic, 2011 Eighth International Conference on Quantitative Evaluation of SysTems, pp.143-144, 2011.
DOI : 10.1109/QEST.2011.24
URL : http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BDDHP-qest11.pdf

P. Ballarini, H. Djafri, M. Duflot, S. Haddad, and N. Pekergin, HASL: an Expressive Language for Statistical Verification of Stochastic Models, Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools, 2011.
DOI : 10.4108/icst.valuetools.2011.245710
URL : https://hal.archives-ouvertes.fr/hal-01113442

P. Ballarini, J. Mäkelä, and A. S. Ribeiro, Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics, Lecture Notes in Computer Science, vol.7605, pp.29-48, 2012.
DOI : 10.1007/978-3-642-33636-2_4
URL : https://hal.archives-ouvertes.fr/hal-00832096

B. Boyer, K. Corre, A. Legay, and S. Sedwards, PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, Lecture Notes in Computer Science, vol.8054, pp.160-164, 2013.
DOI : 10.1007/978-3-642-40196-1_12
URL : https://hal.archives-ouvertes.fr/hal-01088411

T. Chen, T. Han, J. Katoen, and A. Mereacre, Quantitative model checking of CTMC against timed automata specifications, Proc. LICS'09, 2009.
DOI : 10.1109/lics.2009.21
URL : https://ris.utwente.nl/ws/files/5322989/tinting.pdf

A. David, K. G. Larsen, A. Legay, M. Mikucionis, D. B. Poulsen et al., Runtime Verification of Biological Systems, pp.388-404, 2012.
DOI : 10.1007/978-3-642-34026-0_29
URL : https://hal.archives-ouvertes.fr/hal-01088165

S. Donatelli, S. Haddad, and J. Sproston, Model Checking Timed and Stochastic Properties with CSL^{TA}, IEEE Transactions on Software Engineering, vol.35, issue.2, 2009.
DOI : 10.1109/TSE.2008.108
URL : http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/rr-lsv-2008-30.pdf

J. Heath, M. Kwiatkowska, G. Norman, D. Parker, and O. Tymchyshyn, Probabilistic model checking of complex biological pathways, Theoretical Computer Science, vol.319, issue.3, pp.239-257, 2008.
DOI : 10.1007/11885191_3
URL : http://www.prismmodelchecker.org/papers/cmsb06.pdf

H. Kitano, Foundations of Systems Biology, 2002.

M. Kwiatkowska, G. Norman, and D. Parker, Stochastic model checking In Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation, LNCS, vol.4486, pp.220-270, 2007.

A. Legay and B. Delahaye, Statistical model checking : An overview. CoRR, abs, 1005.
DOI : 10.1007/978-3-642-16612-9_11
URL : https://hal.archives-ouvertes.fr/inria-00591593

O. Mazemondet, R. Hubner, J. Frahm, D. Koczan, M. Benjamin et al., Abstract, Cellular and Molecular Biology Letters, vol.15, issue.4, 2011.
DOI : 10.1016/j.bmc.2010.07.045

O. Mazemondet, M. John, S. Leye, A. Rolfs, M. Adelinde et al., Elucidating the Sources of ??-Catenin Dynamics in Human Neural Progenitor Cells, PLoS ONE, vol.7, issue.8, pp.1-12, 2012.
DOI : 10.1371/journal.pone.0042792.s002
URL : https://hal.archives-ouvertes.fr/hal-00656231

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

L. Håkan and . Younes, Ymer: A statistical model checker, Computer Aided Verification, pp.429-433, 2005.