Deadlock Avoidance and Detection in Railway Simulation Systems - Simon, Bertrand; Jaumard, Brigitte; Le, Thai Hoa (Groupe d’études et de recherche en analyse des décisions, 2013)