Cyber-Physical Systems: Advances in Design & Modelling - Kravets, Alla G. (Springer International Publishing, 2020)