Cyber-Physical Systems: Advances in Design & Modelling - Kravets; Bolshakov, Alexander A.; Shcherbakov, Maxim V. (Springer International Publishing, 2020)