Modeling of fault-tolerant mobile agents execution in distributed systems | IEEE Conference Publication | IEEE Xplore