“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.