Odarushchenko, O.B., O.M. Odarushchenko, V.O. Butenko, V.V. Moscalets, і O.Yu. Strjuk. Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів. Системи управління, навігації та зв’язку. Збірник наукових праць 4, no. 44 (Липень 14, 2017): 40-45. дата звернення Квітень 27, 2024. https://journals.nupp.edu.ua/sunz/article/view/376.