A Bidirectional Framework for Model Synchronization in Component-Based Software Development | IEEE Conference Publication | IEEE Xplore