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), pp. 19–28. Available at: https://journalspress.uk/index.php/LJRCST/article/view/607 (Accessed: 28 March 2025).