Using UML and Maude for Writing and Reasoning about ODP Policies. - Francisco Durán 001; Javier Herrador; Antonio Vallecillo (POLICY, 2003)