Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach. - Mikkel Schmidt Andersen; Cláudio Gomes 001; Sophia Thompson; Peter Gorm Larsen (MODELS-C, 2025)