Justifying the Dependability of Computer-Based Systems by P-.J. Courtois