Specifying behavioral semantics of UML diagrams through graph transformations. - Kong, Jun; Zhang, Kang; Dong, Jing; Xu, Dianxiang (J. Syst. Softw., 2009)