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