Pablo Gruer Vincent Hilaire Abder Koukam Krzysztof Cetnarowicz A Formal Framework for Multi-Agent Systems Analysis and Design. 276-282 2001 conf/seke/2001 SEKE db/conf/seke/seke2001.html#GruerHKC01