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