Architecture-Based Software Reliability Analysis: Overview and Limitations | Synapse