Johannes Geismann, Uwe Pohlmann, David Schmelter. Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. In Luís Ferreira Pires, Slimane Hammoudi, Bran Selic, editors, Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017. pages 285-292, SciTePress, 2017. [doi]
Abstract is missing.