Vol. 4 No. 2 (2025): Safety-Critical Systems eJournal Autumn Issue