共 8 条
- [1] Cerotti D., Codetta-Raiteri D., Donatelli S., Brasca C., Dondossola G., Garrone F., UML diagrams supporting domain specification inside the CRUTIAL project, Lecture Notes in Computer Science, 5141, pp. 106-123, (2008)
- [2] Brasca C., Cerotti D., Codetta-Raiteri D., Daidone A., Deconinck G., Donatelli S., Dondossola G., Grandoni F., Kaaniche M., Rigole T., Deliverable D2: Analysis Of New Control Applications, (2007)
- [3] DeMarco C.L., Braden Y., Threats to electric power grid security through hacking of networked generation control, Int. Conf. on Critical Infrastructures (CRIS), (2006)
- [4] Dondossola G., Szanto J., Masera M., Nai-Fovino I., Evaluation of the effects of intentional threats to power substation control systems, Int. Workshop on Complex Network and Infrastructure Protection (CNIP), (2006)
- [5] Rinaldi S.M., Peerenboom J.P., Kelley T.K., Identifying, understanding, and analyzing critical infrastructure interdependencies, IEEE Control Systems Magazine, 21, 6, pp. 11-25, (2001)
- [6] Sanders W.H., Meyer J.F., Stochastic activity networks: Formal definitions and concepts, Lecture Notes in Computer Science, 2090, pp. 315-343, (2001)
- [7] Deavours D., Clark G., Courtney T., Daly D., Derisavi S., Doyle J., Sanders W., Webster P.G., The Möbius framework and its implementation, IEEE Transactions on Software Engineering, 28, 10, pp. 956-969, (2002)
- [8] Codetta-Raiteri D., Nai R., (2009)