Ghignone, R. A.; Falco, C.; Larosa, F. S.; Mendes Gouveia, H. P.; Chang, L. A.; Lutenberg, A.; Menéndez, M. N. Modelling, Simulation and Code Generation for Electronic Railway Interlocking Systems. IEEE LAT AM T 2021, 19, 155-162.