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