"The ForSpec Temporal Logic: A New Temporal Property-Specification Language."

Roy Armoni et al. (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics