UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures | IEEE Conference Publication | IEEE Xplore