Testing safety-related software | lit.salon