BOUAFIA, K.; MOLNÁR, B. 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, [S. l.], v. 22, n. 9, 2020. Disponível em: https://articlearchives.co/index.php/JABE/article/view/1056. Acesso em: 2 oct. 2025.