Modeling cyber-physical systems for automatic verification. - Youssef Driouich; Mimmo Parente; Enrico Tronci (SMACD, 2017)

Towards Reverse Engineering of Industrial Physical Processes. - Mariano Ceccato; Youssef Driouich; Ruggero Lanotte; Marco Lucchese; Massimo Merro (CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS, 2022)