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