Меркальдо, Франческо, Фабио Мартинелли, и Антонелла Сантоне. Проверка модели для обнаружения атак в реальном времени в системах распределения воды. Информатика и автоматизация 21, no. 2 (март 15, 2022): 219-242. просмотрено апрель 18, 2024. http://proceedings.spiiras.nw.ru/index.php/sp/article/view/14977.