Cost-effectiveness analysis of cardiac implantable electronic devices with reactive atrial-based antitachycardia pacing. Issue 3 (24th January 2023)