Formal Analysis of TSN Scheduler for Real-Time Communications | IEEE Journals & Magazine | IEEE Xplore