О. Мороз і О. Толстолузька, «Використання методів формального синтезу та веріфікації паралельних часопараметризованих моделей для рішення системи лінійних рівнянь методом Гауса», МІА, вип. 52, с. 52-70, Лис 2021.