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