A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming | IEEE Conference Publication | IEEE Xplore