Reliability prediction for service component architectures with the SCA-ASM component model