“Formal Methods for Verifying Safety-Critical Software Systems” (2022) International Journal of Advanced Research in Computer Science & Technology(IJARCST), 5(5), pp. 7105–7109. doi:10.15662/IJARCST.2022.0505002.