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