A formal model of the introduction of a vertical EDI system | IEEE Conference Publication | IEEE Xplore