Bouafia, K., and B. Molnár. “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, vol. 22, no. 9, Dec. 2020, doi:10.33423/jabe.v22i9.3686.