Computing Reconfiguration Strategies for Self-Adaptive Real-Time Systems with Stochastic Priced Timed Games. - Hendrik Jörg Göttmann (2025)