Paper accepted in IEEE TAC