Contract Negotiation Step by Step with a Use Case