CPT Violation in $boldsymbol{B^0_s}$--$boldsymbol{bar B^0_s}$ mixing and the measurement of CP Violation in $boldsymbol{B_sto K^+K^-}$

A simple analysis of time-dependent $B_sto K^+K^-$ transitions, based on recent results from the LHCb experiment, is presented. The benefits of adopting a fully consistent theoretical description of the $B^0_s$--$bar B^0_s$ mixing are stressed. It is shown that bounds on CPT violation in the $B^0_s$--$bar B^0_s$ system can be consistently obtained and that direct CP violation in $B_sto K^+K^-$ can be robustly established, even in the presence of CPT violation in the mixing.