«Modular soundness checking of feature model evolution plans», TCS Vol. 1054, 2025Published byselabhvl.github.ioon •1 min readJul 17, 2025ModularSoundnessCheckingFeatureModelLearn moreShareLegalReport