Composability in the time-triggered system-on-chip architecture | IEEE Conference Publication | IEEE Xplore