Parametric temporal logic for “model measuring”
scientific article