Current Developments and Future Challenges of Coordination in Pervasive Environments