H. Abelson, D. Allen, D. Coore, C. Hanson, G. Homsy et al., Amorphous computing, Commun. ACM, issue.5, pp.4374-82, 2000.

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

N. Barkai and S. Leibler, Biological rhythms: Circadian clocks limited by noise, Nature, vol.403, pp.267-268, 2000.

S. Bensalem, B. Delahaye, and A. Legay, Statistical model checking: Present and future, 2010.

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

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

D. Gillespie, Stochastic simulation of chemical kinetics. Annual review of physical chemistry, pp.35-55, 2007.

D. T. Gillespie, Exact stochastic simulation of coupled chemical reactions, The Journal of Physical Chemistry, vol.81, issue.25, pp.2340-2361, 1977.
DOI : 10.1021/j100540a008

D. T. Gillespie, Deterministic Limit of Stochastic Chemical Kinetics, The Journal of Physical Chemistry B, vol.113, issue.6, pp.1640-1644, 2009.
DOI : 10.1021/jp806431b

K. Havelund and G. Rosu, Synthesizing Monitors for Safety Properties, TACAS, 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, Verification, Model Checking, and Abstract Interpretation, pp.307-329, 2004.
DOI : 10.1007/978-3-540-24622-0_8

R. C. Hilborn and J. D. Erwin, Stochastic coherence in an oscillatory gene circuit model, Journal of Theoretical Biology, vol.253, issue.2, pp.349-354, 2008.
DOI : 10.1016/j.jtbi.2008.03.012

W. Hoeffding, Probability Inequalities for Sums of Bounded Random Variables, Journal of the American Statistical Association, vol.1, issue.301, pp.13-30, 1963.
DOI : 10.1214/aoms/1177730491

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, A Platform for High Performance Statistical Model Checking ??? PLASMA, 2012.
DOI : 10.1007/978-3-642-28756-5_37
URL : https://hal.archives-ouvertes.fr/hal-01087824

C. Jegourel, A. Legay, and S. Sedwards, Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking
DOI : 10.1007/978-3-642-31424-7_26
URL : https://hal.archives-ouvertes.fr/hal-01087341

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, 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. Purcell, N. J. Savery, C. S. Grierson, and M. Bernardo, A comparative analysis of synthetic genetic oscillators, Journal of The Royal Society Interface, vol.18, issue.3, pp.1503-1524, 2010.
DOI : 10.1063/1.2978183

A. Ridder, Importance Sampling Simulations of Markovian Reliability Systems Using Cross-Entropy, Annals of Operations Research, vol.40, issue.7, pp.119-136, 2005.
DOI : 10.1007/s10479-005-5727-9

G. Rosu and S. Bensalem, Allen linear (interval) temporal logic -translation to ltl and monitor synthesis, CAV, pp.263-277, 2006.

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

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

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

H. Younes, Ymer: A Statistical Model Checker, LNCS, vol.3576, pp.171-179, 2005.
DOI : 10.1007/11513988_43

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