Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering - Courtois, Pierre-Jacques. (Springer London : Imprint: Springer, 2008)