Using a Formal Framework for Modeling and Analyzing Organizations. RIII 2022, No. 5, 69-92.