Discrete event formalism to calculate acceptable safety distance. - Paul-Antoine Bisgambiglia; Romain Franceschini; Francois-Joseph Chatelon; Jean-Louis Rossi (WSC, 2013)