[1]
L. A. Reynoso, A. Buccella, A. P. Flores, and G. N. Aranda, “Component-based tool for verifying applications using object-oriented patterns”, JCS&T, vol. 2, no. 01, pp. p. 42–48, Oct. 2002.