Gravar-mail: Modelling and validating the multi-agent system behaviour for a washing machine production line