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