"Characterizing Kripke Structures in Temporal Logic."

Michael C. Browne, Edmund M. Clarke, Orna Grumberg (1987)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics