D. Germanus, A. Khelil, and N. Suri, Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays, Proceedings of the First International Symposium on Architecting Critical Systems, pp.161-178, 2010.
DOI : 10.1007/978-3-642-13556-9_10

J. Peterson and P. Nets, Petri Nets, ACM Computing Surveys, vol.9, issue.3, pp.223-252, 1977.
DOI : 10.1145/356698.356702

J. Peterson, Petri Net Theory and the Modeling of Systems, 1981.

C. Queiroz, A. Mahmood, and Z. Tari, Survivable SCADA Systems: An Analytical Framework Using Performance Modelling, 2010 IEEE Global Telecommunications Conference GLOBECOM 2010, 2010.
DOI : 10.1109/GLOCOM.2010.5683323

A. Shah, A. Perrig, and B. Sinopoli, Mechanisms to provide integrity in SCADA and PCS devices, Proceedings of the International Workshop on Cyber-Physical Systems Challenges and Applications, 2008.

K. Stouffer, J. Falco, and K. Kent, Guide to Supervisory Control and Data Acquisition (SCADA) and Industrial Control Systems Security, NIST Special Publication 800-82, National Institute of Standards and Technology, 2006.

G. Wilshusen, Cybersecurity: Continued Attention Needed to Protect Our Nation's Critical Infrastructure, 2011.