Control Stability of TP Model Transformation Design via Probabilistic Error Bound of Plant Model | IEEE Conference Publication | IEEE Xplore