Justifying the Dependability of Computer-based Systems - Courtois, Pierre-Jacques (Springer London, 2020)