ODARUSHCHENKO, O.; ODARUSHCHENKO, O.; BUTENKO, V.; MOSCALETS, V.; STRJUK, O. Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів. Системи управління, навігації та зв’язку. Збірник наукових праць, v. 4, n. 44, p. 40-45, 14 jul. 2017.