Cyber-physical systems advances in design & modelling - Kravets, Alla G.; Bolshakov, Alexander A.; Shcherbakov, Maxim V. (Springer, 2020)