Sargsyan, T. . Developing Game Model for Migration Process of Static Timing Analysis Tools. MPCS 2021, 33, 196-200.