“The Modeling and Verification of Trainify: (Tennis App)”, IJEMD-CSAI, vol. 1, no. 2, pp. 26–34, Sep. 2022, doi: 10.54938/ijemdcsai.2022.01.2.89.