Characterization and Modeling of Phase-Change Memories by Giovanni Betti Beneventi