@INPROCEEDINGS{mates2005,
author = {Amira Regayeg and Ahmed Hadj Kacem and Mohamed Jmaiel},
title = {Towards a Formal Methodology for Designing Multi-agent Applications},
booktitle = {Proceedings of Third German Conference on Multi-Agent
Technologis MATES 2005},
year = {2005},
editor = {T. Eymann and F. Kl\"{u}gl and W. Lamersdorf and M. Klusch
and M.N.  Huhns},
volume = {3550},
series = {Lecture Notes in Artificial Intelligence},
pages = {153--164},
publisher = {Springer},
caddress = {Koblenz, Germany},
keywords  = {MAS},
doi = {10.1007/11550648_14},
}