V. Nguyễn Duy, 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, vn, vol 76, số p.h 3, tr 243-257, 1744650000.