Anil Gupta, “Formal Veriftcation of Aircraft, Uboat and Electric Car Control Systems using SPARK ADA”, LJRCST, vol. 23, no. 4, pp. 19–28, Sep. 2023.