Safe and secure software updates on high-performance embedded systems | Publicación