Lemaire, LaurensLaurensLemaireVossaert, JanJanVossaertJansen, JoachimJoachimJansenNaessens, VincentVincentNaessens2021-10-242021-10-2420170146-4116https://imec-publications.be/handle/20.500.12860/28777A logic-based framework for the security analysis of industrial control systemsJournal articlehttps://link.springer.com/article/10.3103/S0146411617020055