1. RBD/ET based Cause-Consequence Formalization in HOL4 (2021). https://github.com/hvg-concordia/CCD_RBD
2. Abdelghany, M., Ahmad, W., Tahar, S.: Event tree reliability analysis of safety critical systems using theorem proving. IEEE Syst. J. (2021). https://doi.org/10.1109/JSYST.2021.3077558
3. Abdelghany, M., Tahar, S.: Cause-consequence diagram reliability analysis using formal techniques with application to electrical power networks. IEEE Access 9, 23929–23943 (2021)
4. Ahmad, W.: Formal dependability analysis using higher-order-logic theorem proving. Ph.D. thesis, National University of Sciences & Technology, Pakistan (2017)
5. Andrews, J., Ridley, M.: Reliability of sequential systems using the cause consequence diagram method. Part E J. Process Mech. Eng. 215(3), 207–220 (2001)