Cyber-Physical Systems: A Model-Based Approach - Taha; Taha, Abd-Elhamid M.; Thunberg, Johan (Springer International Publishing, 2021)