Automated formal analysis of human multi-issue negotiation processes