McCann, Peter J., Roman, Gruia-Catalin, Modeling Mobile IP in mobile UNITY, ACM Transactions on Software Engineering and Methodology, Vol. 8, No. 2, April 1999. (in press)[BibTeX][Details]