Formal Verification of a Simple Automated Negotiation Protocol. - George Dimitoglou; Okan Duzyol; Lawrence Owusu (Software Engineering Research and Practice, 2006)