1. CRUTIAL, European Project CRUTIAL — critical utility infrastructural resilience (contract n. 027513), http://crutial.rse-web.it.
2. Modeling interdependencies between the electricity and information infrastructures;Laprie,2007
3. Dependent automata for the modelling of dependencies;Donatelli,2008
4. The GreatSPN tool: recent enhancements;Baarir;ACM Performance Evaluation Review,2009
5. Stochastic well-formed coloured nets for symmetric modelling applications;Chiola;IEEE Transactions on Computers,1993