Safe Orchestration with Kubernetes
Live in ConSerts: Model-Driven Runtime Safety Assurance on Microcontrollers, Edge, and Cloud