Modelling electronic commerce activities using control-driven coordination | IEEE Conference Publication | IEEE Xplore