Hệ thống bán hàng đợi và bài toán mô phỏng hoạt động kiểm soát nhập cảnh của cửa khẩu sân bay quốc tế Nội Bài - Nguyễn, Thế Tùng (Đại học Quốc gia Hà Nội, 2016)