"Synchronous Schemes and Their Decision Problems."

Zohar Manna, Amir Pnueli (1980)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics