Huaigu Wu Bettina Kemme Showing correctness of a replication algorithm in a component based system. 91-99 2008 IDEAS http://doi.acm.org/10.1145/1451940.1451954 conf/ideas/2008 db/conf/ideas/ideas2008.html#WuK08