From Research to Practice in the Design of Cooperative Systems: Results and Open Challenges