Using branching time temporal logic to synthesize synchronization skeletons (1982)

by E A Emerson, E Clarke
Venue:Sci. Comput. Programming