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 2024 May 2];22(9). Available from: https://articlegateway.com/index.php/JABE/article/view/3686