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: 28 April 2024).