Design of Heterogeneous Cyber-Physical Systems Employing Category Theory (Mekhatronika Avtomatizatsiya Upravlenie)