Cetratus: Towards a live patching supported runtime for mixed-criticality safe and secure systems | Publicación