Formal and simulation-based timing analysis of Industrial-Ethernet sercos III over TSN | IEEE Conference Publication | IEEE Xplore