@incollection{GeismannHoettgerKrawczyketal.2018,
  author    = {Johannes Geismann and Robert H{\"o}ttger and Lukas Krawczyk and Uwe Pohlmann and David Schmelter},
  title     = {Automated synthesis of a real-time scheduling for cyber-physical multi-core systems},
  series = {Model-Driven Engineering and Software Development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers},
  publisher = {Springer International Publishing},
  address   = {Cham},
  pages     = {72 -- 93},
  year      = {2018},
  language  = {en}
}