Laurens Lemaire, Jan Vossaert, Joachim Jansen, Vincent Naessens. A logic-based framework for the security analysis of Industrial Control Systems. Automatic Control and Computer Sciences, 51(2):114-123, 2017. [doi]
@article{LemaireVJN17,
title = {A logic-based framework for the security analysis of Industrial Control Systems},
author = {Laurens Lemaire and Jan Vossaert and Joachim Jansen and Vincent Naessens},
year = {2017},
doi = {10.3103/S0146411617020055},
url = {https://doi.org/10.3103/S0146411617020055},
researchr = {https://researchr.org/publication/LemaireVJN17},
cites = {0},
citedby = {0},
journal = {Automatic Control and Computer Sciences},
volume = {51},
number = {2},
pages = {114-123},
}