Improving Scalability of Model Checking SoftwareArchitectures: A Thesis on Model Checking and Transformation Methodto Improve Analysis of Software Architectures in UML