@inproceedings{5571,
  title = "Policy Refinement Checking (extended abstract)",
  author = "N. Papanikolaou, M. Goldsmith, S. Creese",
  year = "2009",
  booktitle = "Proceedings of 9th Symposium on Automated Verification of Critical Systems (AvoCS’09), Technical Report CSR-2-2009, Swansea University",
  month = "September",
}