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