Synthesis of synchronization skeletons from branching time temporal logic (1982)

by Edmund M Clarke, E Allen Emerson
Venue:In Proc. Workshop on Logics of Programs