Kainat Fatima, Sidra Sultana, Jawad Ali Abbasi, and Muhammad Talha Khalid, “The Modeling and Verification of Trainify: (Tennis App)”, IJEMD-CSAI, vol. 1, no. 2, pp. 26–34, Sep. 2022.