Moroz, O.; Tolstoluzka, O. Using the Methods of Formal Synthesis and Verification of Parallel Time-Parameterized Models for Solving the System of Linear Equations by Gaussian Elimination. МІА 2021, 52, 52-70.