Checking Non-functional Properties of UML2.0 Components Assembly | IEEE Conference Publication | IEEE Xplore