Justifying the dependability of computer-based systems | lit.salon