Updates for WCRE 2013; ASE 2013 added