Abstract
The distributed and complexity nature of modern critical infrastructures that have to provide integrated services through the interoperability of heterogeneous subsystems, even spread among different countries, require new methodologies and tools to dominate overall systems complexity. [...]