Мартинюк, Олександр Миколайович, Олександр Валентинович Дрозд, Сергій Анатольевич Нестеренко, і Тамем Ахмеш. «Поведінкова верифікація систем інтернету речей на основі мереж Петрі». Прикладні аспекти інформаційних технологій 2, no. 4 (Грудень 24, 2019): 295-303. дата звернення Серпень 17, 2025. https://aait.op.edu.ua/index.php/journal/article/view/90.