Software for Dependable Systems | lit.salon