Formal Veriftcation of Aircraft, Uboat and Electric Car Control Systems using SPARK ADA. LJRCST [Internet]. 2023 Sep. 22 [cited 2026 Feb. 2];23(4):19-28. Available from: https://journalspress.uk/index.php/LJRCST/article/view/607