Evaluation of tool for the analysis of communicating systems