Safety-critical automotive systems | lit.salon