@inproceedings{MartinSailerDeubzeretal.2021, author = {Felix Martin and Andreas Sailer and Michael Deubzer and J{\"u}rgen Mottok}, title = {Automatische Multicore-Echtzeitvalidierung - Ein Prozess f{\"u}r modellbasierte Softwareentwicklung}, booktitle = {Tagungsband 8th Embedded Software Engineering Kongress (ESE), 30.11. - 04.12.2015, Sindelfingen}, year = {2021}, }