Cyber Physical Systems. Model-Based Design - Chamberlain, Roger (Springer International Publishing, 2020)