Alvin S. Lim: A state machine approach to dynamic reconfiguration of distributed applications. CDS 1994: 208