Text this: Editorial to the theme section on model-based design of cyber-physical systems.