Modeling and control of an implantable rotary blood pump for heart failure patients | IEEE Conference Publication | IEEE Xplore