Automated Fault Tree Generation for Rust Programs. - Dominic Zimmer; Andreas Schmidt 003 (EDCC, 2024)