A Note on Properties in Multi-Level Modeling | IEEE Conference Publication | IEEE Xplore