S. Anasuri, “Formal Verification of Autonomous System Software”, IJERET, vol. 3, no. 1, pp. 95–104, Mar. 2022, doi: 10.63282/3050-922X.IJERET-V3I1P110.