Modelling a moving block train control system: different techniques and tools - Mazzanti, Franco (2019)