Ghignone RA, Falco C, Larosa FS, Mendes Gouveia HP, Chang LA, Lutenberg A, Menéndez MN. Modelling, Simulation and Code Generation for Electronic Railway Interlocking Systems. IEEE LAT AM T [Internet]. 2021 Feb. 24 [cited 2024 Apr. 28];19(1):155-62. Available from: https://latamt.ieeer9.org/index.php/transactions/article/view/2929