Functional and structural properties in the Model-Driven Engineering approach | IEEE Conference Publication | IEEE Xplore