A. Bauer, M. Leucker, and C. Schallhart, Modelbased runtime analysis of distributed reactive systems, ASWEC'06, vol.10, p.pp, 2006.

. Carcano and . Coletta, A multidimensional critical state analysis for detecting intrusions in SCADA systems, IEEE Trans. on Industrial Informatics, vol.7, issue.2, pp.179-186, 2011.

M. Caselli, E. Zambon, and F. Kargl, Sequenceaware Intrusion Detection in Industrial Control Systems, Proc. 1st ACM Workshop CPSS, pp.13-24, 2015.

D. Amorim, M. Ro¸suro¸su, and G. , Efficient monitoring of ?-languages, Proc. CAV'05, pp.364-378, 2005.

A. Dubey, G. Karsai, and N. Mahadevan, Modelbased software health management for real-time systems, 2011 Aerospace Conference, pp.1-18, 2011.

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, Proc. ICSE'99, 1999.

R. W. Irving and C. Fraser, Two algorithms for the longest common subsequence of three (or more) strings, Proc. of the 3rd Annual Symposium on Combinatorial Pattern Matching, pp.214-229, 1992.

K. H. John and M. Tiegelkamp, IEC 61131-3: Programming Industrial Automation, 2010.

O. Koucham, S. Mocanu, G. Hiet, J. M. Thiriet, and F. Majorczyk, Detecting Process-Aware Attacks in Sequential Control Systems, Proc. NordSec'16, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01361081

J. Larsen, Breakage-Black Hat. online paper, pp.2017-2027, 2008.

C. Lemieux, D. Park, and I. Beschastnikh, General LTL specification mining, Proc. ASE'15, pp.81-92, 2015.

M. Leucker and C. Schallhart, A brief account of runtime verification, Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 2009.

R. Mitchell and I. R. Chen, Behavior Rule Specification-based Intrusion Detection for Safety Critical Medical Cyber Physical Systems, IEEE Tran. on Depend. and Sec. Comp, vol.12, issue.1, pp.16-30, 2014.

A. Pnueli, The temporal logic of programs, Proc. SFCS'77, pp.46-57, 1977.

D. O. Puaun and M. Chechik, On Closure Under Stuttering, FAC, vol.14, pp.342-368, 2003.

R. T. Marsh and C. , The report to the president's commission on critical infrastructure protection, 1997.

R. Turton, Analysis, Synthesis, and Design of Chemical Processes. Prentice-Hall international series in engineering, 2012.