You are about to access our book library "Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering (Springer Series in Reliability Engineering) full version" .