Validating MAS analysis models with the ASEME methodology. - Nikolaos I. Spanoudakis; Efthymios Floros; Nektarios Mitakidis; Pavlos Delias (Int. J. Agent Oriented Softw. Eng., 2018)