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