Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering (Springer Series in Reliability Engineering)