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