Cyber-Physical Systems: A Model-Based Approach - Taha (Springer International Publishing, 2021)