M. Núñez, I. Rodríguez, and F. Rubio, Formal specification of multi-agent e-barter systems, Science of Computer Programming, vol.57, issue.2, pp.187-216, 2005.
DOI : 10.1016/j.scico.2005.01.002

M. Núñez, I. Rodríguez, and F. Rubio, Specification and testing of autonomous agents in e-commerce systems. Software Testing, Verification and Reliability, pp.211-233, 2005.

J. J. Pardo, M. Núñez, and M. C. Ruiz, A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems, New Challenges in Computational Collective Intelligence, pp.193-204, 2009.
DOI : 10.1007/978-3-642-03958-4_17

J. Tretmans, Test generation with inputs, outputs and repetitive quiescence, Software ? Concepts and Tools, pp.103-120, 1996.

J. Tretmans, Model Based Testing with Labelled Transition Systems, Formal Methods and Testing, pp.1-38, 2008.
DOI : 10.1007/978-3-540-78917-8_1