Cyber Physical Systems. Design, Modeling, and Evaluation - Roger Chamberlain, Walid Taha, Martin Törngren (Springer, 2019)