Evaluation of Tools for the Analysis of Communicating Systems