Large-scale industrial projects often experience significant delays and cost overruns due to the inherent complexity of modern industrial operations. These challenges necessitate robust process control mechanisms to optimize lead times and expenditures. To enhance operational efficiency and ensure compliance with international standards such as ISO, the formalization of business processes has become imperative. This formalization serves as a fundamental step toward effective activity monitoring within complex organizations. When properly modeled, business processes can be further optimized through verification and simulation techniques. This study examines the research conducted by PragmaDev in collaboration with Airbus under the OneWay project framework. The primary objectives of the project included the verification and simulation of business processes to assess cost implications and lead-time efficiency. Additionally, the study explored methodologies for managing model variability and developing digital twin architectures to enhance industrial process optimization.