Ghignone, R.A., Falco, C., Larosa, F.S., Mendes Gouveia, H.P., Chang, L.A., Lutenberg, A. and Menéndez, M.N. 2021. Modelling, Simulation and Code Generation for Electronic Railway Interlocking Systems. IEEE Latin America Transactions. 19, 1 (Feb. 2021), 155–162.