[{"text":"\n\n\nGefei Zhang , Matthias Hölzl, A Set of Metrics for States and Transitions in UML State Machines, Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications, p.1-6, July 22-22, 2014, York, United Kingdom\n\n\n","citation":"2630770"},{"text":"\n\n\nGefei Zhang , Matthias M. Hölzl, A Set of Metrics of Non-locality Complexity in UML State Machines, Revised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications, June 01-01, 2015\n\n\n","citation":"2977731"},{"text":"\n\n\nGefei Zhang, Aspect-oriented modeling of mutual exclusion in UML state machines, Proceedings of the 8th European conference on Modelling Foundations and Applications, p.162-177, July 02-05, 2012, Kgs. Lyngby, Denmark\n\n\n","citation":"2352654"},{"text":"\n\n\nGefei Zhang , Matthias Hölzl, Improving the modularity of web-application models with aspects, International Journal of Web Engineering and Technology, v.10 n.2, p.98-128, October 2015\n\n\n","citation":"2836896"},{"text":"\n\n\nYasuyuki Tahara , Akihiko Ohsuga , Shinichi Honiden, Formal verification of dynamic evolution processes of UML models using aspects, Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 20-28, 2017, Buenos Aires, Argentina\n\n\n","citation":"3105531"}]