The Modeling and Verification of Trainify: (Tennis App). International Journal of Emerging Multidisciplinaries: Computer Science & Artificial Intelligence, v. 1, n. 2, p. 26–34, 30 Sep.2022.