Francesco Flammini Valeria Vittorini Nicola Mazzocca Concetta Pragliola A Study on Multiformalism Modeling of Critical Infrastructures. 336-343 2008 CRITIS http://dx.doi.org/10.1007/978-3-642-03552-4_32 conf/critis/2008 db/conf/critis/critis2008.html#FlamminiVMP08