Automatic synthesis of coordinators for COTS groupware applications: an example | IEEE Conference Publication | IEEE Xplore