Bringing Rust to Safety-Critical Systems in Space. - Lukas Seidel; Julian Beier (CoRR, 2024)