A model-based software development method for automotive cyber-physical systems.