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