Christian Hahn Klaus Fischer The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems. 145-158 2008 AOSE http://dx.doi.org/10.1007/978-3-642-01338-6_11 conf/aose/2008 db/conf/aose/aose2008.html#HahnF08