Construction of Model-based Diagnosis of Cyber-Attack in Cyber-Physical Systems Using Labeled Petri Nets. - Romain Thibert; Gregory Faraut; Saïd Amari (ETFA, 2023)