"Synthesis of Concurrent Systems with Many Similar Sequential Processes."

Paul C. Attie, E. Allen Emerson (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics