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