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), pp. 155–162. Available at: https://latamt.ieeer9.org/index.php/transactions/article/view/2929 (Accessed: 24 August 2026).