Paper accepted to CDC'15