Joachim Neu, Ertem Nusret Tas, David Tse: Short Paper: Accountable Safety Implies Finality. FC (1) 2024: 41-50