Hoang, Thai Son Event-B model of the Buyer / Seller B2B Communication. [Rodin Archive]