Cornelis Huizing Ruurd Kuiper Teade Punter Alexander Serebrenik Looking for Stability. 31-44 2005 conf/ddops/2005 DDoPS db/conf/ddops/ddops2005.html#HuizingKPS05