Safety-Critical System Reliability Modeling and Their Analyses in Terms of Effects of Component Failure Modes