1. M. Abdelghany, S. Tahar, Event tree reliability analysis of electrical power generation network using formal techniques, in Electric Power and Energy Conference (IEEE, Edmonton, 2020), pp. 1–7
2. M. Abdelghany, S. Tahar, Cause-consequence diagram reliability analysis using formal techniques with application to electrical power networks. IEEE Access 9, 23929–23943 (2021)
3. M. Abdelghany, W. Ahmad, S. Tahar, S. Nethula, ETMA: an efficient tool for event trees modeling and analysis, in IEEE International Systems Conference (IEEE, Montreal, 2020), pp. 1–8
4. M. Abdelghany, W. Ahmad, S. Tahar, Event tree reliability analysis of safety critical systems using theorem proving. IEEE Syst. J. (2021). [Online]. Available: https://doi.org/10.1109/JSYST.2021.3077558
5. W. Ahmad, Formal dependability analysis using higher-order-logic theorem proving. Ph.D. dissertation, National University of Sciences and Technology, Islamabad, 2017