Vincent Hilaire Pablo Gruer Abderrafiaa Koukam Olivier Simonin Formal driven prototyping approach for multiagent systems. 246-266 2008 2 IJAOSE 2 http://dx.doi.org/10.1504/IJAOSE.2008.017317 db/journals/ijaose/ijaose2.html#HilaireGKS08