Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. - Islam Abdelhalim; James Sharp; Steve A. Schneider; Helen Treharne (ICFEM, 2010)

Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. - Islam Abdelhalim; Steve A. Schneider; Helen Treharne (ICFEM, 2011)

An Optimization Approach for Effective Formalized fUML Model Checking. - Islam Abdelhalim; Steve A. Schneider; Helen Treharne (SEFM, 2012)

Formally verifying behaviour of fUML models using CSP. - Islam Abdelhalim (2012)

An integrated framework for checking the behaviour of fUML models using CSP. - Islam Abdelhalim; Steve A. Schneider; Helen Treharne (Int. J. Softw. Tools Technol. Transf., 2013)