Paulo Veríssimo Nuno Ferreira Neves Miguel Correia Yves Deswarte Anas Abou El Kalam Andrea Bondavalli Alessandro Daidone The CRUTIAL Architecture for Critical Information Infrastructures. 1-27 2007 WADS http://dx.doi.org/10.1007/978-3-540-85571-2_1 conf/icse/2007wads db/conf/icse/wads2007.html#VerissimoNCDKBD07