Automated Generation of Certification-Relevant Requirements for Complex Avionics Systems. - Robert Wipperfürth (Verlag Dr. Hut, 2025)