Tiziana Margaria Synthesizing the Mediator with jABC/ABC. 2008 EON http://ceur-ws.org/Vol-359/Paper-4.pdf conf/eon/2008 db/conf/eon/eon2008.html#Margaria08