A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL | IEEE Conference Publication | IEEE Xplore