Using a Markov process model of an association football match to determine the optimal timing of substitution and tactical decisions | Synapse