Mathematics of dependable systems | lit.salon