Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts