Sargsyan, T. 2021. Developing Game Model for Migration Process of Static Timing Analysis Tools. Mathematical Problems of Computer Science. 33, (Dec. 2021), 196–200.