Nghiên cứu ứng dụng công cụ satan để phân tích khả năng kiểm thử phần mềm cho các thiết kế trên môi trường simulink - Nguyễn Phong (Đại học Đà Nẵng, 2012)