Differences between cardiac implantable electronic device envelopes evaluated in an animal model. (11th October 2020)