Revisión del artículo "ABS2EB: An Integrated Method for Domain Specific Language Extension, Formal Model Conversion, and Verificationin the Field of Asset Securitization"