Integrating visual and mathematical models for the management of interdependent critical infrastructures | IEEE Conference Publication | IEEE Xplore