Проверка модели для обнаружения атак в реальном времени в системах распределения воды - Меркальдо, Франческо; Мартинелли, Фабио; Сантоне, Антонелла (Информатика и автоматизация, 2022)