A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis | IEEE Conference Publication | IEEE Xplore