1. Mercaldo F., Martinelli F., Santone A. Model Checking for Real-Time Attack Detection in Water Distribution Systems // Informatics and Automation. 2022. № 2 (21). C. 219-242.