An Efficient Schedule Synthesis Method based on Constraint Programming Technology for Time-Triggered Ethernet | IEEE Conference Publication | IEEE Xplore