@inproceedings{Cerny_HRRT_14,
    address          = {Vienna, Austria},
    author           = {Cerny, Pavol and Henzinger, Thomas and Radhakrishna, Arjun and Ryzhyk, Leonid and Tarrach, Thorsten},
    booktitle        = { International Conference on Computer Aided Verification},
    keywords         = {synthesis for concurrency, termite, device drivers, termite},
    month            = jul,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7896.pdf},
    title            = {Regression-free Synthesis for Concurrency},
    year             = {2014}
  }