The CRUTIAL Architecture for Critical Information Infrastructures - Paulo Verissimo (2010)