Using branching time logic to synthesize synchronization skeletons (1982)

by E A EMERSON, E M CLARKE
Venue:Sci. Compui. Programming