@incollection{GeismannH{\"o}ttgerKrawczyketal.2018,
  author    = {Geismann, Johannes and H{\"o}ttger, Robert and Krawczyk, Lukas and Pohlmann, Uwe and Schmelter, David},
  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}
}