Технологія семантико-числової верифікації часопараметризованих паралельних програм для інформаційних і управляючих систем. Вісник Харківського національного університету імені В.Н. Каразіна, серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління», v. 55, p. 32–37, 31 Жов2022.