Design Analysis for a Solenoid Blood Pump Actuator | IEEE Journals & Magazine | IEEE Xplore