Structure for dependability computer-based systems from an interdisciplinary perspective / - Besnard, Denis.; Gacek, Cristina,; Jones, C. B. (Springer,)