Samuel Jimenez Gil: Constraint-based testing and tail tests for measurement-based probabilistic timing analysis. University of York, UK 2020