"Predicate Diagrams for the Verification of Reactive Systems."

Dominique Cansell, Dominique Méry, Stephan Merz (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics