Possibility and Impossibility of Propagation Safety and Reliability: A 1-Safe and Reliable Snap-Stabilizing Broadcast Algorithm. - Zahraa Jawad Al Jady; Mehmet Hakan Karaata (IEEE Trans. Dependable Secur. Comput., 2023)