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 September 14, 2025. https://ijeret.org/index.php/ijeret/article/view/266.