"A Temporal Logic-Based Model of Event-Driven Nets."

Viktor Cingel, Norbert Fristacky (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics