On the Influence of Hardware Design Options on Schedule Synthesis in Time-Triggered Real-Time Systems. - Biewer, Alexander; Munk, Peter; Gladigau, Jens; Haubelt, Christian (2015)