Cyber-physical systems : a model-based approach /: a model-based approach. (2020)