_____________ là một công cụ phân tích rủi ro định lượng sử dụng mô hình của một hệ thống để phân tích hành vi hoặc hiệu suất mong đợi của nó.