"Specifying Trace Directives for UML Attributes and State Machines."

Hamoud I. Aljamaan et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics