Integration of SMT-based Scheduling with RC Network Calculus Analysis in TTEthernet Networks | IEEE Conference Publication | IEEE Xplore