Formal Veriftcation of Aircraft, Uboat and Electric Car Control Systems Using SPARK ADA. LJRCST 2023, 23 (4), 19-28.