“Formal Veriftcation of Aircraft, Uboat and Electric Car Control Systems Using SPARK ADA”. London Journal of Research In Computer Science and Technology 23, no. 4 (September 22, 2023): 19–28. Accessed February 4, 2026. https://testing.journalspress.uk/index.php/LJRCST/article/view/607.