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

A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye et al., Statistical abstraction and model-checking of large heterogeneous systems, Formal Techniques for Distributed Systems, pp.32-46, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01055148

A. Biere, A. Cimatti, E. Clarke, and Y. Zhu, Symbolic model checking without BDDs Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol.1579, pp.193-207, 1999.

L. Bortolussi and G. Sanguinetti, Learning and designing stochastic processes from logical constraints, Quantitative Evaluation of Systems, pp.89-105, 2013.
DOI : 10.1007/978-3-642-40196-1_7
URL : http://arxiv.org/abs/1501.05588

J. R. Burch, E. M. Clarke, K. L. Mcmillan, D. L. Dill, and L. Hwang, Symbolic model checking: 10 20 states and beyond. Information and computation, pp.142-170, 1992.
DOI : 10.1016/0890-5401(92)90017-a
URL : http://doi.org/10.1016/0890-5401(92)90017-a

E. M. 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, O. Grumberg, and D. E. Long, Model checking and abstraction, ACM Transactions on Programming Languages and Systems, vol.16, issue.5, pp.1512-1542, 1994.
DOI : 10.1145/186025.186051

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790

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

M. Gibson and J. Bruck, Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels, The Journal of Physical Chemistry A, vol.104, issue.9, p.1876, 2000.
DOI : 10.1021/jp993732q

D. Gillespie, Stochastic Simulation of Chemical Kinetics, Annual Review of Physical Chemistry, vol.58, issue.1, pp.35-55, 2007.
DOI : 10.1146/annurev.physchem.58.032806.104637

D. T. Gillespie, A general method for numerically simulating the stochastic time evolution of coupled chemical reactions, Journal of Computational Physics, vol.22, issue.4, pp.403-434, 1976.
DOI : 10.1016/0021-9991(76)90041-3

D. T. Gillespie, A rigorous derivation of the chemical master equation, Physica A: Statistical Mechanics and its Applications, vol.188, issue.1-3, pp.404-425, 1992.
DOI : 10.1016/0378-4371(92)90283-V

P. Godefroid, Using partial orders to improve automatic verification methods, Computer-Aided Verification, pp.176-185, 1991.
DOI : 10.1007/BFb0023731

J. Heath, Probabilistic model checking of complex biological pathways, Theoretical Computer Science, vol.391, issue.3, pp.239-257, 2008.
DOI : 10.1016/j.tcs.2007.11.013

M. Hinchey and L. Coyle, Evolving critical systems, 17th IEEE International Conference and Workshops on, pp.4-4, 2010.
DOI : 10.1109/ecbs.2010.62

A. Ihekwaba and S. Sedwards, Communicating oscillatory networks: frequency domain analysis, BMC Systems Biology, vol.5, issue.1, p.203, 2011.
DOI : 10.1016/j.bpj.2009.04.053
URL : https://hal.archives-ouvertes.fr/hal-00784412

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

J. G. Kemeny, A. W. Knapp, and J. L. Snell, Denumerable markov chains, 1976.
DOI : 10.1007/978-1-4684-9455-6

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. N. Pettitt and M. A. Stephens, The Kolmogorov-Smirnov Goodness-of-Fit Statistic with Discrete and Grouped Data, Technometrics, vol.46, issue.2, pp.205-210, 1977.
DOI : 10.1080/01621459.1974.10480196

C. E. Rasmussen and C. K. Williams, Gaussian Processes in Machine Learning, 2006.
DOI : 10.1162/089976602317250933

S. Sedwards, A Natural Computation Approach To Biology: Modelling Cellular Processes and Populations of Cells With Stochastic Models of P Systems, 2009.

J. M. Vilar, H. Y. Kueh, N. Barkai, and S. Leibler, Mechanisms of noise-resistance in genetic oscillators, Proceedings of the National Academy of Sciences, vol.99, issue.9, pp.5988-5992, 2002.
DOI : 10.1073/pnas.092133899

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