@ARTICLE{wias06,
  author = {Ahmed Hadj Kacem and Amira Regayeg and Mohamed Jmaiel},
  title = {ForMAAD: A Formal Method For Agent-Based Application Design},
  journal = {Journal of Web Intelligence and Agent Systems},
  year = {2007},
  volume = {5},
  pages = {216--334},
  number = {4},
keywords  = {Formal, MAS},
}