Buobe
    «Modular soundness checking of feature model evolution plans», TCS Vol. 1054, 2025 | Buobe