Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences. - Théo Serru; Nga Nguyen 001; Michel Batteux; Antoine Rauzy (ACM Trans. Cyber Phys. Syst., 2023)