Moroz, O. Тechnology of Semantic-Numerical Verification of Time-Parameterized Parallel Programs for Information and Control Systems. МІА 2022, 55, 32-37.