Jun Kong Kang Zhang Jing Dong Dianxiang Xu Specifying behavioral semantics of UML diagrams through graph transformations. 292-306 2009 82 Journal of Systems and Software 2 http://dx.doi.org/10.1016/j.jss.2008.06.030 db/journals/jss/jss82.html#KongZDX09