Practice of model-based development for automotive engineers | IEEE Conference Publication | IEEE Xplore