Statistics of Uncertainty-aware Specification and Analysis for Hardware-in-the-Loop Testing of Cyber Physical Systems