Kassem Saleh Hasan Ural Anjali Agarwal Modified distributed snapshots algorithm for protocol stabilization. 863-870 1994 17 Computer Communications 12 http://dx.doi.org/10.1016/0140-3664(94)90029-9 db/journals/comcom/comcom17.html#SalehUA94