New Results in Dependability and Computer Systems | lit.salon