Non-determinism in Probabilistic Timed Systems with General Distributions