Case Studies, Automotive From Git to Safety Case: Compiling Safety Evidence for a Safe‑Stop System AC Akshay Chalana · January 16, 2026
