Asymptotic theory for the Cox semi-Markov illness-death model