%A Thai Son Hoang %T Event-B model of the Buyer / Seller B2B Communication %L deploy128