Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols. - Farid Mokhati; Mourad Badri; Linda Badri; Fathi Hamidane; Sofiane Bouazdia (Int. J. Agent Oriented Softw. Eng., 2008)