Silva, Flávio, and Raimundo José de Araújo Macêdo. " Reliability Requirements in Mobile Agent Systems." Anais do II Workshop de Testes e Tolerância a Falhas, Curitiba/PR, 2000. SBC, 2000, pp.4-9.