TY - RPRT TI - Well-Behaved Model Transformations with Model Subtyping AU - Artur Boronat PY - 2017 UR - https://arxiv.org/abs/1703.08113 ID - 1703.08113 ER -