@inproceedings{Geismann_Höttger_Krawczyk_Pohlmann_Schmelter_2018, place={Cham}, title={Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems}, volume={1}, DOI={
10.1007/978-3-319-94764-8_4}, booktitle={Model-Driven Engineering and Software Development}, publisher={Springer International Publishing}, author={Geismann, Johannes and Höttger, Robert and Krawczyk, Lukas and Pohlmann, Uwe and Schmelter, David}, editor={Pires, Luís Ferreira and Hammoudi, Slimane and Selic, Bran}, year={2018}, pages={72–93} }