J. C. Cunha and H. Krawczyk, “TESTING AND DEBUGGING OF DISTRIBUTED SOFTWARE”, Comput. Inform., vol. 19, no. 6, pp. 495–510, Mar. 2012.