You are about to access our book library "Reliability of Safety-Critical Systems: Theory and Applications full version" .