Paper accepted at CDC'18