Quantifying the Analyzability of Software Architectures