An Efficient and Dependable FOTA-Based Upgrade Mechanism for In-Vehicle Systems | IEEE Conference Publication | IEEE Xplore