Deadlock avoidance and detection In railway simulation systems - Simon, Bertrand; Jaumard, Brigitte; Le, Thai Hoa (Journal of the Transportation Research Board, 2014)