SMT-based synthesis of TTEthernet schedules: A performance study | IEEE Conference Publication | IEEE Xplore