Тechnology of Semantic-Numerical Verification of Time-Parameterized Parallel Programs for Information and Control Systems. МІА 2022, 55, 32-37. https://doi.org/10.26565/2304-6201-2022-55-03.