Anasuri, Sunil. “Formal Verification of Autonomous System Software”. International Journal of Emerging Research in Engineering and Technology, vol. 3, no. 1, Mar. 2022, pp. 95-104, https://doi.org/10.63282/3050-922X.IJERET-V3I1P110.