Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model | IEEE Conference Publication | IEEE Xplore