T. . Sargsyan, “Developing Game Model for Migration Process of Static Timing Analysis Tools”, MPCS, vol. 33, pp. 196–200, Dec. 2021.