Almost-Certain Eventualities and Abstract Probabilities in Quantitative Temporal Logic