u Quantitative Attack-potential-based Survivability Modeling for
High-consequence Systems—In 2005, John McDermott of the NRL
CHACS published an extensive paper [133] on his team’s work on
methodology for using Performance Evaluation Process Algebra (PEPA)