Large change of magnetic moment in Ni13Co3Mn13Sn3 and Ni13Co3Mn13Sn2Al1 Heusler alloys at martensitic transitions: Investigation from first principles | IEEE Conference Publication | IEEE Xplore