Formal Veriftcation of Aircraft, Uboat and Electric Car Control Systems using SPARK ADA. LJRCST. 2023;23(4):19-28. Accessed February 4, 2026. https://testing.journalspress.uk/index.php/LJRCST/article/view/607