Nguyễn Duy, V. 1744650000. Design and safety verification of computer interlocking system in railways. Transport and Communications Science Journal. 76, 3 (1744650000), 243-257. DOI:https://doi.org/10.47869/tcsj.76.3.4.