Computing optimal communication schedules for time-triggered networks using an SMT solver | IEEE Conference Publication | IEEE Xplore