@techreport{Walker_Ryzhyk_14:tr,
    address          = {Sydney, Australia},
    author           = {Walker, Adam Christopher and Ryzhyk, Leonid},
    institution      = {NICTA},
    issn             = {1833-9646-8281},
    keywords         = {termite, device drivers, abstraction refinement, predicate abstraction},
    month            = aug,
    number           = {NRL-8281},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8281.pdf},
    title            = {Predicate Abstraction for Reactive Synthesis},
    type             = {Technical Report},
    year             = {2014}
  }