Cyber Physical Systems. Design, Modeling, and Evaluation - Chamberlain (Springer International Publishing, 2019)