Virtualization of Vehicular Electronics for System-level Exploration