Automatic synthesis of coordinators for COTS group-ware applications: an example