UMLPACE for Modeling and Verification of Complex Business Requirements in Event-Driven Process Chain (EPC). - Anam Amjad; Farooque Azam; Muhammad Waseem Anwar; Wasi Haider Butt; Muhammad Rashid 001; Aamir Naeem (IEEE Access, 2018)

A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification. - Muhammad Waseem Anwar; Muhammad Rashid 001; Farooque Azam; Aamir Naeem; Muhammad Kashif; Wasi Haider Butt (IEEE Access, 2020)