Tools and Methodologies for Business Processes Formalization: Application to Multi-agent Systems. - Konstantin A. Aksyonov; Eugene A. Bykov; Anna Antonova; Olga Aksyonova; Ekaterina Sufrygina; Natalia V. Goncharova (EMS, 2011)