“The Modeling and Verification of Trainify: (Tennis App)”. International Journal of Emerging Multidisciplinaries: Computer Science & Artificial Intelligence 1, no. 2 (September 30, 2022): 26–34. Accessed October 3, 2026. https://www.ojs.ijemd.com/index.php/ComputerScienceAI/article/view/89.