Using Temporal Logics to Specify and Verify Multi-step Transactions in Mobile Environments. - Rafat Alshorman (2009)

Toward proving the correctness of TCP protocol using CTL. - Rafat Alshorman (Int. Arab J. Inf. Technol., 2019)

Specification of synchronous network flooding in temporal logic. - Ra'Ed Bani-Abdelrahman; Rafat Alshorman; Walter Hussak; Amitabh Trehan (Int. Arab J. Inf. Technol., 2020)