A decomposition approach for SMT-based schedule synthesis for time-triggered networks | IEEE Conference Publication | IEEE Xplore