Improving Scalability of Model Checking SoftwareArchitectures door Chukwuogo Bosah