Linear-time temporal logics with Presburger constraints: an overview ★
scientific article