"Logic of Involved Variables - System Specification with Temporal Logic of ..."

Adrianna Alexander, Wolfgang Reisig (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics