Task- and network-level schedule co-synthesis of Ethernet-based time-triggered systems | IEEE Conference Publication | IEEE Xplore