Toward Software-Defined Vehicles: From Model-Based Engineering to Virtualization-Based Deployment | IEEE Journals & Magazine | IEEE Xplore