@inproceedings{goldsmith2012inside,
  title = "Inside FDR (abstract of invited talk)",
  author = "Goldsmith, Michael",
  year = "2012",
  booktitle = "Pre-Proceedings of the 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012)",
  pages = "11",
}