Nguyễn Duy, Việt. Thiết Kế Và Xác Minh an Toàn Cho Hệ Thống Liên Khóa Máy Tính Trong đường Sắt. Tạp chí Khoa học Giao thông vận tải 76, no. 3 (1744650000): 243-257. Truy cập Tháng Tư 20, 2025. https://tcsj.utc.edu.vn/index.php/tcgtvt/article/view/2186.