@inproceedings{Cerny_HRRT_13,
    address          = {Saint Petersburg, Russia},
    author           = {Cerny, Pavol and Henzinger, Thomas and Radhakrishna, Arjun and Ryzhyk, Leonid and Tarrach, Thorsten},
    booktitle        = {Proceedings of the 25th  International Conference on Computer Aided Verification},
    month            = jul,
    pages            = {1--16},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6880.pdf},
    title            = {Efficient Synthesis for Concurrency by Semantics-Preserving Transformations},
    year             = {2013}
  }