Martynyuk, O. N. ., O. V. Drozd, S. A. Nesterenko, T. Ahmesh. «Behavioral Verification of Internet of Things Systems by Petri Nets». Прикладні аспекти інформаційних технологій, вип. 2, вип. 4, Грудень 2019, с. 295-03, doi:10.15276/aait.04.2019.4.