Мартинюк, О. М.; Дрозд, О. В. .; Нестеренко, С. А.; Ахмеш, Т. Поведінкова верифікація систем інтернету речей на основі мереж Петрі. https://aait.op.edu.ua 2019, 2, 295-303.