A modeling approach to analyze the impact of error propagation on reliability of component-based systems