Directions in Safety-Critical Systems | lit.salon