Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling.