Computational Relaxed TP Model Transformation by Restriction of the Computation to Subspaces of the Dynamic Model | IEEE Conference Publication | IEEE Xplore