@article{DBLP:journals/sttt/JacobsBBEHKPRRS17,
  author    = {Swen Jacobs and
               Roderick Bloem and
               Romain Brenguier and
               R{\"{u}}diger Ehlers and
               Timotheus Hell and
               Robert K{\"{o}}nighofer and
               Guillermo A. P{\'{e}}rez and
               Jean{-}Fran{\c{c}}ois Raskin and
               Leonid Ryzhyk and
               Ocan Sankur and
               Martina Seidl and
               Leander Tentrup and
               Adam Walker},
  title     = {The first reactive synthesis competition {(SYNTCOMP} 2014)},
  journal   = {{International Journal on Software Tools for Technology Transfer (STTT)}},
  volume    = {19},
  number    = {3},
  pages     = {367--390},
  year      = {2017},
  doi       = {10.1007/s10009-016-0416-3},
}