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