Kiểm tra mô hình phần mềm sử dụng lý thuyết MôTôMat BuChi và Logic thời gian tuyến tính - Phạm Thị Thái, Ninh (Đại học Bách khoa Hà Nội, 2018)