Garcia, Islene, and Luiz E. Buzato. " Using Common Knowledge to Improve Fixed-Dependency-After-Send." Proceedings of the 2nd Workshop on Testing and Fault Tolerance, Curitiba/PR, 2000. SBC, 2000, pp.16-21.