Engineering Trustworthy Software Systems | lit.salon