TCTL-Based Verification of Industrial Processes. - Anaheed Ayoub; Ayman M. Wahba; Ashraf M. Salem; Mohamed A. Sheirah (FDL, 2003)

FPGA based accelerator for functional simulation. - Mohamed N. Wageeh; Ayman M. Wahba; Ashraf M. Salem; Mohamed A. Sheirah (ISCAS (5), 2004)

Automatic code generation from verified timed automata model. - Anaheed Ayoub; Ayman M. Wahba; Ashraf M. Salem; Mohamed Taher; Mohamed A. Sheirah (IADIS AC (1), 2009)

Code Synthesis for Timed Automata: A Comparison Using Case Study. - Anaheed Ayoub; Ayman M. Wahba; Ashraf M. Salem; Mohamed A. Sheirah (ASM, 2010)