Cyber-Physical Systems A Model-Based Approach / - Taha, Walid M. (Springer International Publishing,)