“Using the methods of formal synthesis and verification of parallel time-parameterized models for solving the system of linear equations by Gaussian elimination”, МІА, vol. 52, pp. 52–70, Nov. 2021, doi: 10.26565/2304-6201-2021-52-07.