Under consideration for publication in Formal Aspects of Computing Guaranteeing Convergence of Distributed Systems: From Specification to Implementation via Refinement - K. Mani Ch; Brian Go; Sayan Mitra; Concetta Pilotto; Jerome White; The Pennsylvania State University CiteSeerX Archives (http://infospheres.caltech.edu/sites/default/files/facs2009_0.pdf)