PUB: Path Upper-Bounding for Measurement-Based Probabilistic Timing Analysis