Odarushchenko, O., Odarushchenko, O., Butenko, V., Moscalets, V. і Strjuk, O. 2017. Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів. Системи управління, навігації та зв’язку. Збірник наукових праць. 4, 44 (Лип 2017), 40-45.