Jan van Katwijk, Ruud C. M. de Rooij, Sylvia Stuurman, Hans Toetenel. Software Development and Verification of Dynamic Real-Time Distributed Systems Based on the Radio Broadcast Paradigm. Scalable Computing: Practice and Experience, 2(1), 1999. [doi]
Abstract is missing.