Can machine learning complement traditional medical device surveillance? A case study of dual-chamber implantable cardioverter–defibrillators