Formal methods of parallel software design automation - Yu. Doroshenko; O. A. Yatsenko (Reports of the National Academy of Sciences of Ukraine, 2020)