Hussak, Walter, Trehan, Amitabh, "On Termination of a Flooding Process", , 2025