Ghignone, R. A., C. Falco, F. S. Larosa, H. P. Mendes Gouveia, L. A. Chang, A. Lutenberg, and M. N. Menéndez. “Modelling, Simulation and Code Generation for Electronic Railway Interlocking Systems”. IEEE Latin America Transactions, vol. 19, no. 1, Feb. 2021, pp. 155-62, https://latamt.ieeer9.org/index.php/transactions/article/view/2929.