Cyber Physical Systems. Model-Based Design - Roger Chamberlain, Walid Taha, Martin Törngren (Springer, 2019)