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

P. Heidelberger, Fast simulation of rare events in queueing and reliability models, ACM Transactions on Modeling and Computer Simulation, vol.5, issue.1, pp.43-85, 1995.
DOI : 10.1145/203091.203094

A. Pnueli and L. Zuck, Verication of multiprocess probabilistic protocols, Distributed Computing, vol.1, p.5372, 1986.

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

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

K. Sen, G. A. Viswanathan, and . 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

T. Daniel and G. , 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.

M. G. Vilar, H. Y. Kueh, N. Barkai, and S. Leibler, Mechanisms of noise-resistance in genetic oscillators, Proceedings of the National Academy of Science, 2002.
DOI : 10.1073/pnas.092133899

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