R. A. Ghignone, “Modelling, Simulation and Code Generation for Electronic Railway Interlocking Systems”, IEEE LAT AM T, vol. 19, no. 1, pp. 155–162, Feb. 2021.