Mercaldo, F., Martinelli, F. and Santone, A. 2022. Model Checking for Real-Time Attack Detection in Water Distribution Systems. Informatics and Automation. 21, 2 (Mar. 2022), 219-242. DOI:https://doi.org/10.15622/ia.21.2.1.