An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks | IEEE Conference Publication | IEEE Xplore