A protocol and correctness proofs for real-time high-performance broadcast networks | IEEE Conference Publication | IEEE Xplore