Tensor Product-Based Model Transformation Technique Applied to Modeling Magnetic Levitation Systems | IEEE Conference Publication | IEEE Xplore