A. . Doroshenko and О. . Яценко, “ Formal methods of parallel software design automation ”, Dopov. Nac. akad. nauk Ukr., no. 6, pp. 15–20, Mar. 2024.