"On Topological Hierarchies of Temporal Properties."

Christel Baier, Marta Z. Kwiatkowska (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics