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