Javier Rubio-Loyola Joan Serrat Marinos Charalambides Paris Flegkas George Pavlou Alberto Lluch-Lafuente Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks. 181-190 2005 conf/policy/2005 POLICY http://dx.doi.org/10.1109/POLICY.2005.38 db/conf/policy/policy2005.html#Rubio-LoyolaSCFPL05