(1)
Reynoso, L. A.; Buccella, A.; Flores, A. P.; Aranda, G. N. Component-Based Tool for Verifying Applications Using Object-Oriented Patterns. JCS&T 2002, 2, p. 42-48.