Committee on Certifiably Dependable Software Systems | lit.salon