J. Pfalzgraf and T. Soboll, “On a General Notion of Transformation for Multiagent Systems and its Implementation”, ECEASST, vol. 12, Nov. 2009.