The Tick Formulation for deadlock detection and avoidance in railways traffic control. - Veronica Dal Sasso; Leonardo Lamorgese; Carlo Mannino; Andrea Onofri; Paolo Ventura (J. Rail Transp. Plan. Manag., 2021)