Philippe Mathieu Jean-Christophe Routier Yann Secq Runnable Specifications of Interactions for Open Multi-Agent Systems. 431-437 2003 conf/ike/2003-2 IKE db/conf/ike/ike2003-2.html#MathieuRS03a