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

by E A Emerson, E M Clarke
Venue:Science of Computer Programming