Backward Responsibility in Transition Systems Beyond Safety. - Christel Baier; Rio Klatt; Sascha Klüppelholz; Johannes Lehmann 001 (FMICS, 2025)