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), 19–28. Retrieved from https://journalspress.uk/index.php/LJRCST/article/view/607