The SAVE approach to component-based development of vehicular systems