Model- and simulation-based evaluation and optimization of embedded systems. - Simon Roth 003 (2017)