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. JABE [Internet]. 2020 Dec. 3 [cited 2025 Oct. 2];22(9). Available from: https://articlearchives.co/index.php/JABE/article/view/1056