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