SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering. - Benedikt Dornauer; Michael Felderer; Mehrdad Saadatmand; Muhammad Abbas 002; Nicolas Bonnotte; Andreas Dreschinski; Eduard Paul Enoiu; Eray Tüzün; Baykal Mehmet Uçar; Ömercan Devran; Robin Gröpler (CoRR, 2025)