Software Update as a Mechanism for Resilience and Security: Proceedings of a Workshop | Myboeken