Kainat Fatima, Sidra Sultana, Jawad Ali Abbasi, and Muhammad Talha Khalid. “The Modeling and Verification of Trainify: (Tennis App)”. International Journal of Emerging Multidisciplinaries: Computer Science & Artificial Intelligence, vol. 1, no. 2, Sept. 2022, pp. 26-34, doi:10.54938/ijemdcsai.2022.01.2.89.