This paper documents work that has been carried out to automate the checking of system software architecture ... as each Use Case Diagram generates an individual Component Model. Using the restricted ...