Paper accepted in ACM TCPS