PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis