Added DAC'13 paper by Lei et al.