Farid Mokhati Mourad Badri Linda Badri Fathi Hamidane Sofiane Bouazdia Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols. 422-448 2008 2 IJAOSE 4 http://dx.doi.org/10.1504/IJAOSE.2008.020139 db/journals/ijaose/ijaose2.html#MokhatiBBHB08