Improving Scalability of Model Checking Software Architectures