Dynamic Functional Modelling of Vulnerability and Interoperability of Critical Infrastructures