Меркальдо, Франческо, Фабио Мартинелли, и Антонелла Сантоне. 2022. Проверка модели для обнаружения атак в реальном времени в системах распределения воды. Информатика и автоматизация 21 (2), 219-42. https://doi.org/10.15622/ia.21.2.1.