Paper accepted at CDC'17