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