Reliability Prediction for Component-Based Systems: Incorporating Error Propagation Analysis and Different Execution Models.