Hot Topics in Software Upgrades (HotSWUp), Workshop on