Preventing blood clots in heart failure patients with atrial fibrillation