Reynoso, L. A., Buccella, A., Flores, A. P., & Aranda, G. N. (2002). Component-based tool for verifying applications using object-oriented patterns. Journal of Computer Science and Technology, 2(01), p. 42–48. Retrieved from https://journal.info.unlp.edu.ar/JCST/article/view/961