Specifying trace directives for UML attributes and state machines | IEEE Conference Publication | IEEE Xplore