Anil Gupta. “Formal Veriftcation of Aircraft, Uboat and Electric Car Control Systems Using SPARK ADA”. London Journal of Research In Computer Science and Technology, vol. 23, no. 4, Sept. 2023, pp. 19-28, https://journalspress.uk/index.php/LJRCST/article/view/607.