Model-Based Development of In-Vehicle Software | IEEE Conference Publication | IEEE Xplore