Guidelines and challenges for composing and synchronizing real-time software components through virtual platforms in vehicular systems | IEEE Conference Publication | IEEE Xplore