Rubio-Loyola, Javier and Serrat, Joan and Flegkas, Paris and Pavlou, George and Lluch-Lafuente, Alberto Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks. In: Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY’05). IEEE Computer Society, pp. 181-190. ISBN 0-7695-2265-3 (2005)