Parametric real-time reasoning