Christian Kubczak Tiziana Margaria Matthias Kaiser Jens Lemcke Bjoern Knuth Abductive Synthesis of the Mediator Scenario with jABC and GEM. 2008 EON http://ceur-ws.org/Vol-359/Paper-5.pdf conf/eon/2008 db/conf/eon/eon2008.html#KubczakMKLK08