Modeling and evaluation of fault tolerant mobile agents in distributed systems | IEEE Conference Publication | IEEE Xplore