Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B - Nguyễn, Xuân Trường (Đại học Công nghệ, 2017)