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