Modeling and Checking for Non-functional Attributes in Extended UML Class Diagram | IEEE Conference Publication | IEEE Xplore