Circuit modeling of double-armature rotary-linear induction motor | IEEE Conference Publication | IEEE Xplore