Convergent numerical approximations of the thermomechanical phase transitions in shape memory alloys. M. Niezgódka; Jürgen Sprekels Numerische Mathematik