Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities (Logical Methods in Computer Science, 2021)