Anil Gupta 2023. Formal Veriftcation of Aircraft, Uboat and Electric Car Control Systems using SPARK ADA. London Journal of Research In Computer Science and Technology. 23, 4 (Sep. 2023), 19–28.