D. Helbing and P. Molnár, Social force model for pedestrian dynamics, Physical Review E, vol.51, issue.5, pp.4282-4286, 1995.
DOI : 10.1103/PhysRevE.51.4282
URL : http://arxiv.org/abs/cond-mat/9805244

C. Jegourel, A. Legay, and S. Sedwards, A Platform for High Performance Statistical Model Checking ??? PLASMA, LNCS, vol.7214, pp.498-503, 2012.
DOI : 10.1007/978-3-642-28756-5_37
URL : https://hal.archives-ouvertes.fr/hal-01087824

H. L. Younes, Verification and planning for stochastic processes with asynchronous events, 2005.