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