Final version of CDC 2014 paper