Experiences from a model-based methodology for embedded electronic software in automobile | IEEE Conference Publication | IEEE Xplore