Model-based design of resilient systems using quantitative risk assessment | Publicación