Moroz, O., and O. Tolstoluzka. “Using the Methods of Formal Synthesis and Verification of Parallel Time-Parameterized Models for Solving the System of Linear Equations by Gaussian Elimination”. Bulletin of V.N. Karazin Kharkiv National University, Series «Mathematical Modeling. Information Technology. Automated Control Systems», Vol. 52, Nov. 2021, pp. 52-70, doi:10.26565/2304-6201-2021-52-07.