Anasuri, Sunil. “Formal Verification of Autonomous System Software”. International Journal of Emerging Research in Engineering and Technology 3, no. 1 (March 30, 2022): 95–104. Accessed January 27, 2026. https://ijeret.org/index.php/ijeret/article/view/266.