Parametric metric interval temporal logic