Formalisation of the integration of behavior trees. - Kushal Ahmed; M. A. Hakim Newton; Lian Wen; Abdul Sattar 001 (ASE, 2014)

Detecting Requirements Defects Utilizing A Mathematical Framework for Behavior Engineering. - Kushal Ahmed; Toby Myers; Lian Wen; Abdul Sattar 001 (CoRR, 2014)

Semantic Network Model: A Reasoning Engine for Software Requirements. - Kushal Ahmed; Lian Wen; Abdul Sattar 001; Reza Farid (ICECCS, 2015)