Kassem Saleh, Hasan Ural, Anjali Agarwal: Modified distributed snapshots algorithm for protocol stabilization. Comput. Commun. 17(12): 863-870 (1994)