“Formal Methods for Verifying Safety-Critical Software Systems”, IJARCST, vol. 5, no. 5, pp. 7105–7109, Sep. 2022, doi: 10.15662/IJARCST.2022.0505002.