"Safety and Liveness in Branching Time."

Panagiotis Manolios, Richard J. Trefler (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics