2020. Formal Verification of Analysis Approach for Enterprise Information Systems Architecture Using Hypergraph Representation Based on Finite State Machines for Supporting Business Process Requirements. Journal of Applied Business and Economics. 22, 9 (Dec. 2020).