PUTRACOM: A Concurrent Component Model With Exogenous Connectors. - Faranak Nejati; Abdul Azim Abdul Ghani; Keng-Yap Ng; Azmi Bin Jafaar (IEEE Access, 2018)

Handling State Space Explosion in Component-Based Software Verification: A Review. - Faranak Nejati; Abdul Azim Abdul Ghani; Keng-Yap Ng; Azmi Bin Jafaar (IEEE Access, 2021)