COFRE: Environment for Specifying Coordination Requirements using Formal, and Graphical Techniques