Modeling and Validation of High-Temperature Electromagnetic Actuator | IEEE Journals & Magazine | IEEE Xplore