Cyber Physical Systems. Design, Modeling, and Evaluation - Berger, Christian (Springer International Publishing, 2020)