@inproceedings{AGLOPRW12,
  title = "Recent Developments in FDR",
  author = "Philip Armstrong and Michael Goldsmith and Gavin Lowe and Joel Ouaknine and Hristina Palikareva and A. W. Roscoe and James Worrell",
  year = "2012",
  booktitle = "CAV 2012: Proceedings of the 24th International Conference on Computer Aided Verification",
  editor = "P. Madhusudan and S. A. Seshia",
  pages = "699--704",
  publisher = "Springer-Verlag Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "7358",
}