Ralph Depke Reiko Heckel Jochen Malte Küster Formal agent-oriented modeling with UML and graph transformation. 229-252 2002 44 Sci. Comput. Program. 2 http://dx.doi.org/10.1016/S0167-6423(02)00040-0 db/journals/scp/scp44.html#DepkeHK02