Modeling and verification methods for application design in heterogeneous architectures - S. D. Pohorilyi; M. S. Slynko (Cybernetics and Systems Analysis, 2020)