Measurement-Based Probabilistic Timing Analysis: From Academia to Space Industry