Cyber-Physical Systems : a Model-Based Approach. - Taha, Walid M. (Springer International Publishing AG, 2020)