Property-Preserving Reuse-Geared Approach to Model-Driven Development | IEEE Conference Publication | IEEE Xplore