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