RT DF A1 Koenig, Jeremie. T1 Refinement-Based Game Semantics for Certified Components