Francisco Durán Javier Herrador Antonio Vallecillo Using UML and Maude for Writing and Reasoning about ODP Policies. 15-25 2003 conf/policy/2003 POLICY http://csdl.computer.org/comp/proceedings/policy/2003/1839/00/18390015abs.htm db/conf/policy/policy2003.html#DuranHV03