Design and synthesis of synchronization skeletons using branching time temporal logic (1982)

by Edmund Clarke, E Allen Emerson
Venue:Proceedings of the Workshop on Logics of Programs