Ghignone, R. A., Falco, C., Larosa, F. S., Mendes Gouveia, H. P., Chang, L. A., Lutenberg, A., & Menéndez, M. N. (2021). Modelling, Simulation and Code Generation for Electronic Railway Interlocking Systems. IEEE Latin America Transactions, 19(1), 155–162. Retrieved from https://latamt.ieeer9.org/index.php/transactions/article/view/2929