Modeling of a Double-stator Linear Induction Motor | IEEE Journals & Magazine | IEEE Xplore