Symbolically aided model development for an induction machine in virtual test bed | IEEE Journals & Magazine | IEEE Xplore