2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp) proceedings : June 3, 2012, Zurich, Switzerland / (IEEE Press,)