Safe Alone, Dangerous Together

Verified Cyber-Physical System Components Lose Safety Guarantees When Composed

digital-cps-safety-composability