SALVO: model-based systems applications in automotive industry