@article{4380,
  title = "SAT-Solving in CSP Trace Refinement",
  author = "Hristina Palikareva and Joel Ouaknine and A. W. Roscoe",
  year = "2012",
  booktitle = "Special Issue on Automated Verification of Critical Systems",
  copyright = "Elsevier",
  editor = "Markus Roggenbach",
  journal = "Science of Computer Programming, special issue on Automated Verification of Critical Systems",
  number = "10-11",
  pages = "1178-1197",
  publisher = "Elsevier",
  url = "http://www.sciencedirect.com/science/article/pii/S0167642311001547",
  volume = "77",
  doi = "10.1016/j.scico.2011.07.008",
}