Мартинюк, О. М., Дрозд, О. В. ., Нестеренко, С. А. і Ахмеш, Т. (2019) «Поведінкова верифікація систем інтернету речей на основі мереж Петрі», Прикладні аспекти інформаційних технологій, 2(4), с. 295-303. doi: 10.15276/aait.04.2019.4.