Modeling and Verification of Real-Time Protocols for Broadcast Networks | IEEE Journals & Magazine | IEEE Xplore