W. M. Van-der-aalst, Process Mining: Discovery, Conformance and Enhancement of Business Processes, 2011.

S. Keith, F. Joe, and S. Karen, Guide to industrial control systems (ics) security, 2011.

M. Xue, S. Roy, Y. Wan, and S. K. Das, Security and discoverability of spread dynamics in cyber-physical networks, IEEE Transactions on Parallel and Distributed Systems, pp.1694-1707, 2012.

A. A. Cárdenas, S. Amin, Z. S. Lin, Y. Huang, C. Y. Huangand et al., Attacks against process control systems, Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, ASIACCS '11, 2011.
DOI : 10.1145/1966913.1966959

T. A. Henzinger, The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 1996.
DOI : 10.1109/LICS.1996.561342

J. Feld, PROFINET - scalable factory communication for all applications, IEEE International Workshop on Factory Communication Systems, 2004. Proceedings., 2004.
DOI : 10.1109/WFCS.2004.1377673

R. Ierusalimschy, L. H. De-figueiredo, and W. Celes, The evolution of Lua, Proceedings of the third ACM SIGPLAN conference on History of programming languages , HOPL III, 2007.
DOI : 10.1145/1238844.1238846

A. P. Estrada-vargas, A comparative analysis of recent identification approaches for discreteevent systems, Sub Paint() Select Case SmartTags, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00522714

=. Smarttags, Valve3")<>0) Loop Do Until (SmartTags, Case 3 SmartTags=1 End Select Do Until (SmartTags("Valve1")<>0 Or SmartTags("Valve2")<>0 Or SmartTags=0) Loop Do While (SmartTags("Level0T1")<>0 Or SmartTags("Level0T2")<>0 Or SmartTags("Level0T3")<>0) SmartTags("MValve456")=1 Loop SmartTagsTimer1ON") Do While SmartTags("EmptyMixer")=0 Loop Loop End Sub Inria, p.0