Certifiably Dependable Software Systems Committee | lit.salon