Formal worst-case performance analysis of time-sensitive Ethernet with frame preemption | IEEE Conference Publication | IEEE Xplore