Scalable Modeling of Preventive and Detective Security Controls for Cyber-Physical Systems. - Hnin Yee Shun; Loui Al Sardy; Karl Waedt; Gabriel Le Berre (INFORMATIK, 2024)