Text this: Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities