Cyber Physical Systems. Model-Based Design - Roger Chamberlain, Martin Edin Grimheden, Walid Taha (Springer, 2020)