Paper accepted at IEEE TAC!