“Nếu muốn chế tạo một chiếc máy bay không bị rơi khi cất cánh do lỗi phần mềm, người ta phải có một mục tiêu rõ ràng trong đầu.”