@inproceedings{Walker_Ryzhyk_14,
    address          = { Lausanne, Switzerland},
    author           = {Walker, Adam Christopher and Ryzhyk, Leonid},
    booktitle        = {Conference on Formal Methods in Computer-Aided Design},
    keywords         = {termite, device drivers, abstraction refinement, predicate abstraction},
    month            = oct,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8141.pdf},
    title            = {Predicate Abstraction for Reactive Synthesis},
    year             = {2014}
  }