Model transformations in simulation and planning: behavior preserving model simplifications. - R. Wylie; Mohamed S. Kamel (IEEE Trans. Syst. Man Cybern. Part A, 1997)