A Two-Level Calculus for Composing Hybrid QVT Transformations | IEEE Conference Publication | IEEE Xplore