@inproceedings{Cerny_CHRRST_15,
    address          = {San Francisco, USA},
    author           = {Cerny, Pavol and Clarke, Edmund and Henzinger, Thomas and Radhakrishna, Arjun and Ryzhyk, Leonid and
                        Samanta, Roopsha and Tarrach, Thorsten},
    booktitle        = { International Conference on Computer Aided Verification},
    keywords         = {synthesis for concurrency, computer-aided programming, device drivers},
    month            = jul,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8582.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/8582.pdf},
    title            = {From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis},
    year             = {2015}
  }