Describir: Coordination Control of Distributed Systems /