Molina, A. Uso De Un Marco Formal Para El Modelado Y Análisis De Organizaciones. AACINI-RIII 2022, 69-92.