An industrial method for the model-based development of automotive systems | Synapse