Reliability Prediction for Component-Based Systems: Incorporating Error Propagation Analysis and Different Execution Models | IEEE Conference Publication | IEEE Xplore