UP2DATE: Safe and secure over-the-air software updates on high-performance mixed-criticality systems | IEEE Conference Publication | IEEE Xplore