Amy L. Murphy, Gruia-Catalin Roman, George Varghese: Tracking Mobile Units for Dependable Message Delivery. IEEE Trans. Software Eng. 28(5): 433-448 (2002)