A Compositional Analysis Of Broadcasting Embedded Systems